M2compiler-V3/compiler/tests/d_basic.def

DEFINITION MODULE DLib;
(* Separate-compilation library: definition. *)
CONST Base = 10;
VAR counter : INTEGER;
PROCEDURE Add(a, b : INTEGER) : INTEGER;
PROCEDURE Bump;
END DLib.