M2compiler-V1/tests/d_lib.def

DEFINITION MODULE DLib;
CONST c = 7;
VAR v : INTEGER;
PROCEDURE P(x : INTEGER) : INTEGER;
PROCEDURE Q(VAR x : INTEGER);
END DLib.