(***********************************************************************)
(*
- 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 =
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