X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fboolean.mli;h=28d6d84c5e6f8c494d19b00b1a1739560cd00387;hp=2c1607f0067a48ad0adcebc79abe78278765d1a3;hb=f3d9a505aa793e7db4f9528fca98e9b37b0511b0;hpb=8c4a23b0bb5883174e225e16d0ac9e5fe2c13032

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