Module MoreLabels.Map

module Map = struct ... end 

module type OrderedType : Map.OrderedType

module type S : sig ... end

module Make = functor ...  -> MoreLabels.Map.S with type key = Ord.t