module Map: sig .. end
module type OrderedType = Map.OrderedType;
module type S = sig .. end
module Make: (Ord: OrderedType) => S with type key = Ord.t;