Module MoreLabels.Set

module Set = struct ... end 

module type OrderedType : Set.OrderedType

module type S : sig ... end

module Make = functor ...  -> MoreLabels.Set.S with type elt = Ord.t