M2compiler-V3/compiler/tests/g_wrap.def

GENERIC DEFINITION MODULE Wrap (U : TYPE);
TYPE W = ARRAY [0..1] OF U;
PROCEDURE Hi() : INTEGER;
END Wrap.