M2compiler-V3/compiler/tests/g_pair.mod

GENERIC IMPLEMENTATION MODULE Pair;
PROCEDURE First(x : T; y : U) : T;
BEGIN RETURN x END First;
PROCEDURE Second(x : T; y : U) : U;
BEGIN RETURN y END Second;
END Pair.