Module MoreLabels.Map

module Map: sig .. end

module type OrderedType = Map.OrderedType

module type S = sig .. end

module Make:

functor (Ord : OrderedType) -> S with type key = Ord.t