GENERIC IMPLEMENTATION MODULE Ident (T : TYPE); PROCEDURE Id(x : T) : T; BEGIN RETURN x END Id; END Ident.