Definitions
builtin nat-to-string axiom natToString : Nat -> StringSource#
builtin string-to-nat axiom stringToNat : String -> NatSource#
builtin nat-to-string axiom natToString : Nat -> StringSource#
builtin string-to-nat axiom stringToNat : String -> NatSource#