4.4. Module: alba.core.integer

-- Integer Numbers
class Integer: Any :=
    positive:  Natural -> Integer
    negative1: Natural -> Integer    -- 'negative1 n' represents '- (succ n)'

Integer.(+): Integer -> Integer -> Integer := ...
Integer.(*): Integer -> Integer -> Integer := ...

...         -- details left out here

Note

Missing: We have to include definitions of all arithmetic operators and decision procedures (equality, order relation) which have an efficient builtin representation.