-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