Sequence.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