g_ident.def 80 B

123
  1. GENERIC DEFINITION MODULE Ident (T : TYPE);
  2. PROCEDURE Id(x : T) : T;
  3. END Ident.