-------------------------------- MODULE Naturals ----------------------------
(***************************************************************************)
(* A dummy module that defines the operators that are defined by the       *)
(* real Naturals module.                                                   *)
(***************************************************************************)

Nat       == { }
a+b       == {a, b}
a-b       == {a, b}
a*b       == {a, b}
a^b       == {a, b}
a<b       ==  a = b
a>b       ==  a = b
a \leq b  ==  a = b
a \geq b  ==  a = b
a % b     ==  {a, b}
a \div b  ==  {a, b}
a .. b    ==  {a, b}
=============================================================================