This module contains the signature of an immutable set constructed from a binary search table of containing elements of the set. Distinguished instances are provided for tables of char and int type values.
module type Profile = sig ... endThe signature of set implementation modules.
module Of_basis
(T : Table.Basis) :
Profile
with type search := T.Search.t
and type element := T.Vector.element
and type Unsafe.index := T.Vector.index
and type Unsafe.vector := T.Vector.tUse Of_basis(B) to create an instance of a set module.
module Create
(R : Cf_relations.Order) :
Profile
with type search := R.t
and type element := R.t
and type Unsafe.index := int
and type Unsafe.vector := R.t arrayA simplified constructor for any total order.
module Of_char :
Profile
with type search := char
and type element := char
and type Unsafe.index := int
and type Unsafe.vector := stringA distinguished instance for character sets.
module Of_int : sig ... endA distinguished instance for integer sets.
module Of_string : sig ... endA distinguished instance for string sets.