TicTacToe - 0.1.0
Source
Index
Juvix.Builtin.V1.Trait.Natural
Contents
Description
Definitions
Description
Definitions
trait
type
Natural
A
Source
#
Constructors
|
mkNatural
{
syntax
operator
+
additive
;
+
:
A
->
A
->
A
;
syntax
operator
*
multiplicative
;
*
:
A
->
A
->
A
;
builtin
from-nat
fromNat
:
Nat
->
A
}
open
Natural
public