M2compiler-V2/tests/d_lib.def

DEFINITION MODULE DLib;
CONST step = 5;
VAR counter : INTEGER;
TYPE Vec = ARRAY [0 .. 3] OF INTEGER;
TYPE Point = RECORD x, y : INTEGER END;
PROCEDURE Add(n : INTEGER);
PROCEDURE Get() : INTEGER;
END DLib.