(** Implementation of hashconsed Boolean formulae *)
-type move = [ `Left |`Right ]
+type move = [ `Left | `Right | `Epsilon | `Up1 | `Up2 ]
+
(** Direction for automata predicates *)
type 'formula expr =
val compare : t -> t -> int
(** Comparison of formulae *)
-val size : t -> int
-(** Syntactic size of the formula *)
-
val print : Format.formatter -> t -> unit
(** Pretty printer *)