Coercion hiding implemented. Notes:

[helm.git] / helm / software / components / extlib / discrimination_tree.mli

diff --git a/helm/software/components/extlib/discrimination_tree.mli b/helm/software/components/extlib/discrimination_tree.mli
index e979b8e6987f934d5a43940ee1e9a646a7a091c2..4c8339e5e881fa7899607ef9dca7dd9a40d84630 100644 (file)
--- 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