X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fauto%2Fformula.mli;h=d708c2d16835a63d69f96b1f247c9dc18faf14c0;hp=2421d515d076873e4d04e1b04b8bc07ce9928ccd;hb=03b6a364e7240ca827585e7baff225a0aaa33bc6;hpb=35c32fbd2543a399cc6939f21317bebf37172646

diff --git a/src/auto/formula.mli b/src/auto/formula.mli
index 2421d51..d708c2d 100644
--- a/src/auto/formula.mli
+++ b/src/auto/formula.mli
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-09 11:13:06 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-09 11:16:45 CET by Kim Nguyen>
 *)
 
 module type ATOM =
@@ -84,4 +84,7 @@ sig
   val of_bool : bool -> t
   (** Convert an ocaml Boolean value to a formula *)
 
+  val fold : (t -> 'a -> 'a) -> t -> 'a -> 'a
+  (** [fold f phi acc] folds [f] over the formula structure *)
+
 end