package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 ... end

The 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 = string

A table basis module

module Int_basis : Basis with type Search.t = int and type Vector.element = int and type Vector.index = int and type Vector.t = int array

A table basis module

module String_basis : Basis with type Search.t = string and type Vector.element = string and type Vector.index = int and type Vector.t = string array

A table basis module

module type Profile = sig ... end

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

Use Create(B) to create an instance of a table module.

module Of_char : sig ... end

A distinguished instance of tables of char type elements.

module Of_int : sig ... end

A distinguished instance of tables of int type elements.

module Of_string : sig ... end

A distinguished instance of tables of string type elements.