This module contains the signature of a search table comprising a vector of data sorted in multiplicative binary search order and an ancillary vector of adjustments for searching the final rank of the tree. Distinguished instances are provided for table searchable by char, int and string values.
module type Basis = sig ... endThe signature of a table basis module.
module Char_basis :
Basis
with type Search.t = char
and type Vector.element = char
and type Vector.index = int
and type Vector.t = stringA table basis module
module Order_basis
(R : Cf_relations.Order) :
Basis
with type Search.t = R.t
and type Vector.element = R.t
and type Vector.index = int
and type Vector.t = R.t arrayUse Order_basis(R) to compose a table basis for a total order.
module Int_basis : sig ... endA table basis module
module String_basis : sig ... endA table basis module
module type Profile = sig ... endThe signature of table implementation modules.
module Create
(B : Basis) :
Profile
with type search := B.Search.t
and type index := B.Vector.index
and type element := B.Vector.element
and type Unsafe.vector := B.Vector.tUse Create(B) to create an instance of a table module.
module Of_char :
Profile
with type search := char
and type index := int
and type element := char
and type Unsafe.vector := stringA distinguished instance of tables of char type elements.