Binary search algorithm and data structures.
This module implements generalized binary search functions along with a functorial interface that generalizes static sets and maps implemented as vectors in multiplicative binary search order. A specialization is provided for character sets and maps implemented with strings as the vector.
A return finalization configuration for use with the search function (see below).
module type Basis = sig ... endUse module B: Basis = struct ... end to define a type t and associated functions that provide the operations on it required for binary searching in the range between two values of type t.
module Char_basis : Basis with type t = charThe distinguished basis for OCaml char values.
module type Profile = sig ... endThe signature of the module returned by the Create(B) functor.
Use Create(B) to make a module that provides binary searches using the index type defined with the basis B.