X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnDiscriminationTree.mli;h=04f8c690786de74921ec6171d5d0ec9eb2b0a239;hb=348e5e6b9765c760159107a0fdb102c3eff42cd9;hp=a146c4b730771145da58d21c65b72fec5a7da488;hpb=7fb962ce66388785d27e699d921aa7b03a170139;p=helm.git

diff --git a/helm/software/components/ng_refiner/nDiscriminationTree.mli b/helm/software/components/ng_refiner/nDiscriminationTree.mli
index a146c4b73..04f8c6907 100644
--- a/helm/software/components/ng_refiner/nDiscriminationTree.mli
+++ b/helm/software/components/ng_refiner/nDiscriminationTree.mli
@@ -12,12 +12,16 @@
 
 (* $Id$ *)
 
+type path_string
+
+val pp_path_string : path_string -> string
+
 module DiscriminationTreeIndexing :
   functor (A : Set.S) ->
     sig
 
       type t 
-      val iter : t -> (A.t -> unit) -> unit
+      val iter : t -> (path_string -> A.t -> unit) -> unit
 
       val empty : t
       val index : t -> NCic.term -> A.elt -> t