Module Diet

module type ELT = sig ... end
module type INTERVAL_SET = sig ... end
module Make : functor (Elt : ELT) -> INTERVAL_SET with type elt = Elt.t
module Int : INTERVAL_SET with type elt = int
module Int64 : INTERVAL_SET with type elt = int64