Module Iter.Set

module type S = sig ... end
module Adapt : functor (X : Set.S) -> S with type Adapt.elt = X.elt and type Adapt.t = X.t

Create an enriched Set module from the given one

module Make : functor (X : Set.OrderedType) -> S with type Make.elt = X.t

Functor to build an extended Set module from an ordered type