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