type Integer

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/types/model.bend:3

import Base

3# Negative{n} denotes -(n+1), so zero has exactly one representation.
4type Integer is Data:
5  Positive{magnitude: Nat}
6  Negative{predecessor: Nat}