Module Map : sig end
module type OrderedType = Map.OrderedType
module type S = sig end
module Make : functor (Ord : OrderedType) -> sig end