d_lib2.def 112 B

1234
  1. DEFINITION MODULE DLib2;
  2. TYPE Vec = ARRAY [1 .. 3] OF INTEGER;
  3. PROCEDURE Sum(VAR x : Vec) : INTEGER;
  4. END DLib2.