(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-02-07 10:00:33 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-02-08 13:38:58 CET by Kim Nguyen>
*)
INCLUDE "utils.ml"
(** Implementation of hashconsed Boolean formulae *)
-type move = [ `Left | `Right | `Epsilon | `Up1 | `Up2 ]
-
-(** Direction for automata predicates *)
*)
module type PREDICATE =
sig