Cf_disjoint_interval.SetModules of distinguished set implementations.
module Create
(B : Cf_bsearch.Basis) :
Cf_bsearch_data.Set.Profile
with type search := B.t
and type element := B.t t
and type Unsafe.index := int
and type Unsafe.vector := B.t arrayUse Create(B) to make a set using disjoint intervals of a given binary searchable type.
module Of_char :
Cf_bsearch_data.Set.Profile
with type search := char
and type element := char t
and type Unsafe.index := int
and type Unsafe.vector := stringA character set using disjoint intervals.
module Of_int : sig ... endAn integer set using disjoint intervals.
module Of_float : sig ... endAn floating point number set using disjoint intervals.