M2compiler-V3/compiler/tests/d_qual_prog.mod

MODULE DQualProg;
(* Qualified cross-module access: IMPORT L and L.x / L.P. *)
IMPORT DLib;
VAR ExitCode : INTEGER;
BEGIN
  DLib.Bump;
  DLib.counter := DLib.counter + DLib.Add(DLib.Base, 30);
  ExitCode := DLib.counter
END DQualProg.