* http://cs.unibo.it/helm/.
*)
-type path
-
-val string_of_path : path -> string
-
-module DiscriminationTreeIndexing :
- functor (A : Set.S) ->
- sig
-
- type t
- val iter : t -> (path -> A.t -> unit) -> unit
-
- val empty : t
- val index : t -> NCic.term -> A.elt -> t
- val remove_index : t -> NCic.term -> A.elt -> t
- val in_index : t -> NCic.term -> (A.elt -> bool) -> bool
- val retrieve_generalizations : t -> NCic.term -> A.t
- val retrieve_unifiables : t -> NCic.term -> A.t
- end
+module NCicIndexable : Discrimination_tree.Indexable
+with type input = NCic.term and type constant_name = NReference.reference
+module TermSet : Set.S with type elt = NCic.term
+module TermListSet : Set.S with type elt = NCic.term list
+module DiscriminationTree : Discrimination_tree.DiscriminationTree
+with type constant_name = NCicIndexable.constant_name
+and type input = NCicIndexable.input
+and type data = TermSet.elt and type dataset = TermSet.t