M2compiler-V2/tests/s5lib.def

DEFINITION MODULE S5Lib;
(* Step-5 showcase library: every interface kind in one place. *)
CONST unit = 7;
VAR total : INTEGER;
TYPE Pair = RECORD a, b : INTEGER END;
PROCEDURE Add(n : INTEGER);
PROCEDURE Get() : INTEGER;
END S5Lib.