M2compiler-V3/compiler/tests/g_gstk.def

GENERIC DEFINITION MODULE GStk (T : TYPE; cap : CARDINAL);
TYPE
  CLASS Stk;
    a : ARRAY [0..cap] OF T;
    PROCEDURE Capacity() : INTEGER;
    PROCEDURE Put(x : T);
  END Stk;
END GStk.