From f3d9a505aa793e7db4f9528fca98e9b37b0511b0 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Wed, 20 Nov 2013 22:46:24 +0100
Subject: [PATCH] Add a utility function Boolean.iter that iterates a function
 over a formula.

---
 src/boolean.ml  | 1 +
 src/boolean.mli | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/src/boolean.ml b/src/boolean.ml
index 296f7a6..09b62b6 100644
--- 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
diff --git a/src/boolean.mli b/src/boolean.mli
index 2c1607f..28d6d84 100644
--- a/src/boolean.mli
+++ b/src/boolean.mli
@@ -77,4 +77,7 @@ sig
   val fold : (t -> 'a -> 'a) -> t -> 'a -> 'a
   (** [fold f phi acc] folds [f] over the formula structure *)
 
+  val iter : (t -> unit) -> t -> unit
+  (** [iter f phi] iters [f] over the formula structure *)
+
 end
-- 
2.17.1