Stdlib.Data.Nat
Contents
Definitions
import Stdlib.Data.Nat.Base open hiding {+; *; div; mod} public
import Stdlib.Trait.Eq open public
import Stdlib.Trait.Ord open public
import Stdlib.Trait.Show open public
import Stdlib.Trait.Natural open public
builtin nat-to-string axiom natToString : Nat -> StringSource#
builtin string-to-nat axiom stringToNat : String -> NatSource#