M2compiler-V3/compiler/tests/showcase24pair.mod

GENERIC IMPLEMENTATION MODULE GPair;
PROCEDURE First(k : K; v : V) : K;
BEGIN
  RETURN k
END First;

PROCEDURE Second(k : K; v : V) : V;
BEGIN
  RETURN v
END Second;
END GPair.