Set (p.orsetto.1.1.2.doc.orsetto.cf.Cf_bsearch

module type Profile = sig ... end

The 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.t

Use 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 array

A 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 := string

A distinguished instance for character sets.

module Of_int : sig ... end

A distinguished instance for integer sets.

module Of_string : sig ... end

A distinguished instance for string sets.