X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2Fdiscrimination_tree.mli;h=4c8339e5e881fa7899607ef9dca7dd9a40d84630;hb=c83721701dbbd44d3d547fdec6c4a5658322f424;hp=e979b8e6987f934d5a43940ee1e9a646a7a091c2;hpb=c3fc204cc02f1031b5d17fb0f2be1fc01e5c452f;p=helm.git

diff --git a/helm/software/components/extlib/discrimination_tree.mli b/helm/software/components/extlib/discrimination_tree.mli
index e979b8e69..4c8339e5e 100644
--- a/helm/software/components/extlib/discrimination_tree.mli
+++ b/helm/software/components/extlib/discrimination_tree.mli
@@ -55,6 +55,7 @@ module type DiscriminationTree  =
       type t
 
       val iter : t -> (constant_name path -> dataset -> unit) -> unit
+      val fold : t -> (constant_name path -> dataset -> 'b -> 'b) -> 'b -> 'b
 
       val empty : t
       val index : t -> input -> data -> t