M2compiler-V3/compiler/tests/showcase24pair.def

GENERIC DEFINITION MODULE GPair (K : TYPE; V : TYPE);
(* A generic pair accessor over two independent type parameters. *)
PROCEDURE First(k : K; v : V) : K;
PROCEDURE Second(k : K; v : V) : V;
END GPair.