module Make0 : functor (X : Named_intf.S0) -> sig ... endmodule Make1 : functor (X : Named_intf.S1) -> sig ... endmodule Make2 : functor (X : Named_intf.S2) -> sig ... endmodule Make3 : functor (X : Named_intf.S3) -> sig ... endmodule Make4 : functor (X : Named_intf.S4) -> sig ... endmodule Make5 : functor (X : Named_intf.S5) -> sig ... end