Module DtIndex


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 (Entry : Index.EntryType) ->
functor (Table : TableType) -> Index.Index with type entry = Entry.entry
Functor for building an index implementation.
module HashTableImplementation: TableType 
Implementation of TableType using hash tables.
module AlistTableImplementation: TableType 
Implementation of TableType using association lists.