module Set: sig .. end
sig
end
module type OrderedType = Set.OrderedType
Set.OrderedType
include CCSet