Module Symbol.OrderedType

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