Typerep_lib.Make_typenamemodule Make0 (X : Named_intf.S0) : sig ... endmodule Make1 (X : Named_intf.S1) : sig ... endmodule Make2 (X : Named_intf.S2) : sig ... endmodule Make3 (X : Named_intf.S3) : sig ... endmodule Make4 (X : Named_intf.S4) : sig ... endmodule Make5 (X : Named_intf.S5) : sig ... end