Stdlib.Data.Int.Base
Contents
builtin int type IntSource#
Inductive integers. I.e. whole numbers that can be positive, zero, or negative.
Constructors
ofNat n represents the integer n
negSuc n represents the integer -(n + 1)
