Module Term_indexing (.ml)

module Term_indexing: sig .. end

term indexing

type term = Term.term

type literal = Term.literal

exception ITERATOR_EMPTY

raised by Term_indexing.iterator.next if no element is left.

val index_offset : int

the offset of an index literal.

val query_offset : int

the offset of a query literal.

class virtual ['a] data : object .. end

type of data stored in Term_indexing.index.

class virtual ['a] iterator : object .. end

iterator type over the Term_indexing.index.

class type ['a] predicate_index = object .. end

The interface for a predicate term indexing module.

class ['a] index : 'a data -> ('a data -> 'a predicate_index) -> object .. end

a wrapper for Term_indexing.predicate_index over different predicates.