Module Core.Interval_intf
module Time_ns = Core__.Core_time_nsmodule Zone = Core__.Import_time.Time.Zonemodule type Gen = sig ... endmodule type Gen_set = sig ... endmodule type S = sig ... endmodule type S1 = sig ... endmodule type S_time = sig ... endmodule type Interval = sig ... endModule for simple closed intervals over arbitrary types. Used by calling the
Makefunctor with a type that satisfiesComparable(for correctly ordering elements).