H.Set
module type OrderedType = OrderedType
module type S = SET
module Make (E : OrderedType) : SET with type elt = E.t