Definitions
Inductive integers. I.e. whole numbers that can be positive, zero, or negative.
| ofNat : Nat -> Int | ofNat n represents the integer n |
| negSuc : Nat -> Int | negSuc n represents the integer -(n + 1) |
builtin int-to-string axiom intToString : Int -> StringSource#