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
let iter dt f = DiscriminationTree.iter (fun p x -> f p x) dt;;
+ let fold dt f = DiscriminationTree.fold (fun p x -> f p x) dt;;
+
let index tree term info =
let ps = I.path_string_of term in
let ps_set =