sig
  type term = Term.term
  type literal = Term.literal
  type clause = Term.clause
  type 'a data = 'a Term_indexing.data
  type 'a predicate_index = 'a Term_indexing.predicate_index
  type 'a index = 'a Term_indexing.index
  val create_predicate_index :
    bool ->
    'a Discrimination_tree.data -> 'a Discrimination_tree.predicate_index
  val create_index :
    bool -> 'a Discrimination_tree.data -> 'a Discrimination_tree.index
  val create_int_index : bool -> int Discrimination_tree.index
  val create_term_index :
    bool -> Discrimination_tree.term Discrimination_tree.index
  val create_literal_index :
    bool -> Discrimination_tree.literal Discrimination_tree.index
  val create_clause_index :
    bool -> Discrimination_tree.clause Discrimination_tree.index
  val create_literal_clause_index :
    bool ->
    (Discrimination_tree.literal * Discrimination_tree.clause)
    Discrimination_tree.index
end