TicTacToe - 0.1.0

Stdlib.Trait.Integral

Definitions

trait type Integral ASource#

Constructors

| mkIntegral { naturalI : Natural A; syntax operator - additive; - : A -> A -> A; builtin from-int fromInt : Int -> A }

open Integral using {fromInt; -} public