M2compiler-V3/tools/m2make/tests/Calc.def

DEFINITION MODULE Calc;
(* Sample library for M2make tests: file name matches module name. *)

PROCEDURE Add(a, b: INTEGER): INTEGER;

END Calc.