module type ORDERED_TYPE_DFT = sig .. end
sig
end
Set.OrderedType
include Sig.ORDERED_TYPE
val default : t
t