Module Set

module Set: sig .. end

module type OrderedType = sig .. end

module type S = sig .. end

module Make: 
functor (Ord : OrderedType) -> sig .. end