TicTacToe - 0.1.0

Juvix.Builtin.V1.Nat

Description

Definitions

import Juvix.Builtin.V1.Trait.Natural open public

import Juvix.Builtin.V1.Trait.FromNatural open public

import Juvix.Builtin.V1.Nat.Base open hiding {+; *; div; mod} public

instance fromNaturalNatI : FromNatural NatSource#

instance naturalNatI : Natural NatSource#