g_ident.mod 107 B

1234
  1. GENERIC IMPLEMENTATION MODULE Ident (T : TYPE);
  2. PROCEDURE Id(x : T) : T;
  3. BEGIN RETURN x END Id;
  4. END Ident.