Juvix.Builtin.V1.Nat
Contents
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#
