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