Commit 77b42a2e authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Add Term.t_iter.

parent 8e8e493d
......@@ -1152,6 +1152,8 @@ let t_fold fn acc t = match t.t_node with
let _, tl, f1 = t_open_quant b in tr_fold fn (fn acc f1) tl
| _ -> t_fold_unsafe fn acc t
let t_iter fn t = t_fold (fun () t -> fn t) () t
let t_all pr t = Util.all t_fold pr t
let t_any pr t = Util.any t_fold pr t
......
......@@ -372,6 +372,7 @@ val t_pred_app_beta_l : term -> term list -> term
val t_map : (term -> term) -> term -> term
val t_fold : ('a -> term -> 'a) -> 'a -> term -> 'a
val t_iter : (term -> unit) -> term -> unit
val t_map_fold : ('a -> term -> 'a * term) -> 'a -> term -> 'a * term
val t_all : (term -> bool) -> term -> bool
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment