(* *)
(***********************************************************************)
-module type ATOM =
-sig
- include Hcons.S
- include Common_sig.Printable with type t := t
-end
-
type ('formula,'atom) expr =
| False
| True
(** View of the internal representation of a formula,
used for pattern matching *)
-module Make(A : ATOM) :
+module Make(A : sig
+ include Hcons.S
+ include Common_sig.Printable with type t := t
+end) :
sig
type t
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