module type ORDERED_TYPE_DFT = sig .. end
sig
end
Signature equivalent to Set.OrderedType with a default value.
Set.OrderedType
include Sig.ORDERED_TYPE
val default : t
t