GENERIC MODULE Generic (Key, Elt);

BEGIN
  Key_v := Key.v;
  Elt_v := Elt.v;
END Generic.