Module Cf_bsearch_data.Vector

This module contains the signature of a random-access vector containing data accessible at constant order cost for any index. Distinguished instances of the signature include char type values in string type vectors and int type values in int array vectors.

Note: this interface is provided so that a Bigarray can be a vector, but the implementation of that is not provided here.

module type Basis = sig ... end

The signature of vector basis modules.

module Int_basis : Basis with type t = int

A distinguished basis module for vectors with integer indices.

module type Profile = sig ... end

The signature of vector implementation modules.

module Create (E : Cf_relations.Order) : Profile with type index = int and type element = E.t and type t = E.t array

Use Create(E) to compose a vector using an array.

module Of_char : Profile with type index = int and type element = char and type t = string

Use Of_char for string vectors.

module Of_int : sig ... end

Use Of_int for integer array vectors.

module Of_string : sig ... end

Use Of_string for string array vectors.