M2compiler-V3/compiler/tests/sep_lib.def

DEFINITION MODULE SepLib;
(* Separate-compilation test library: exported data + procedures. *)
VAR Value : INTEGER;
PROCEDURE Add (x : INTEGER);
PROCEDURE Get () : INTEGER;
END SepLib.