Add a utility function Boolean.iter that iterates a function over a formula.

[tatoo.git] / src / boolean.ml

diff --git a/src/boolean.ml b/src/boolean.ml
index 296f7a6..09b62b6 100644 (file)
--- a/src/boolean.ml
+++ b/src/boolean.ml
@@ -158,4 +158,5 @@ let fold f phi acc =
   in
   loop phi acc
 
+let iter f phi = fold (fun phi () -> f phi) phi ()
 end