module type ELT = sig ... endmodule type INTERVAL_SET = sig ... endmodule Int : INTERVAL_SET with type elt = intmodule Int64 : INTERVAL_SET with type elt = int64Dietmodule type ELT = sig ... endmodule type INTERVAL_SET = sig ... endmodule Int : INTERVAL_SET with type elt = intmodule Int64 : INTERVAL_SET with type elt = int64