M2compiler-V3/compiler/tests/sepres.def

DEFINITION MODULE SepRes;
(* M2 -I resolution test: file name matches the module name. *)
VAR Value : INTEGER;
PROCEDURE Add (x : INTEGER);
END SepRes.