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 Test : sig ... end