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