module Juvix.Builtin.V1.Nat; import Juvix.Builtin.V1.Trait.Natural open public; import Juvix.Builtin.V1.Nat.Base open hiding {+; *; div; mod} public; import Juvix.Builtin.V1.Nat.Base as Nat; {-# specialize: true, inline: case #-} instance naturalNatI : Natural Nat := mkNatural@{ + := (Nat.+); * := (Nat.*); fromNat (x : Nat) : Nat := x };Last modified on 2024-07-11 16:35 UTC