Module Symbol.OrderedType


module OrderedType: Set.OrderedType  with type t=t
To use sets or maps on type t