nspec - 0.1.1

Stdlib.Data.Nat

Description

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#

instance ordNatI : Ord NatSource#

instance showNatI : Show NatSource#

instance divModNatI : DivMod NatSource#