nspec - 0.1.0

Stdlib.Data.Nat

Definitions

import Juvix.Builtin.V1.Nat open public

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

import Stdlib.Trait.FromNatural open public

import Stdlib.Trait.DivMod open public

builtin nat-to-string axiom natToString : Nat -> StringSource#

Converts a Nat into a String.

builtin string-to-nat axiom stringToNat : String -> NatSource#

Partial function that converts a String into a Nat.

instance eqNatI : Eq NatSource#