M2compiler-V2/tests/d_lib2.def

DEFINITION MODULE DLib2;
FROM DLib IMPORT step;
CONST dbl = 10;
VAR flag : INTEGER;
TYPE SArr = ARRAY [0 .. step] OF INTEGER;
PROCEDURE Bump(VAR v : INTEGER);
END DLib2.