1 2 3 4 5 6 7
-------------------------------- MODULE Integers ---------------------------- EXTENDS Naturals LOCAL R == INSTANCE ProtoReals Int == R!Int -. a == 0 - a =============================================================================