Module type Sig.ORDERED_TYPE_DFT

module type ORDERED_TYPE_DFT = sig .. end

Signature equivalent to Set.OrderedType with a default value.


include Sig.ORDERED_TYPE
val default : t