module DtIndex: sig
.. end
Discrimination tree indexing.
Predefined Index Implementations
module TermHashIndex: Index.Index
with type entry=Term.term
A predefined discrimination tree implementation that uses terms as
entries and hashtables for the internal tree representation.
module TermAlistIndex: Index.Index
with type entry=Term.term
A predefined discrimination tree implementation that uses terms as
entries and association lists for the internal tree representation.
Constructing Index Implementations
Functor interface to construct index implementations.
type
hkey
Used by TableType
.
module type TableType = sig
.. end
An input signature of the Make functor.
module Make:
Functor for building an index implementation.
module HashTableImplementation: TableType
Implementation of TableType
using hash tables.
module AlistTableImplementation: TableType
Implementation of TableType
using association lists.