Definitions
open import Stdlib.Data.Nat.Base public
builtin nat-to-string axiom natToString : Nat -> StringSource#
builtin string-to-nat axiom stringToNat : String -> NatSource#
open import Stdlib.Data.Nat.Base public
builtin nat-to-string axiom natToString : Nat -> StringSource#
builtin string-to-nat axiom stringToNat : String -> NatSource#