M2compiler-V3/compiler/tests/g_gcbox.def

GENERIC DEFINITION MODULE GBox (T : TYPE);
TYPE
  CLASS Box;
    v : T;
    PROCEDURE Put(x : T);
    PROCEDURE Get() : T;
  END Box;
END GBox.