(* *)
(***********************************************************************)
+(*
+ Time-stamp: <Last modified on 2013-01-30 19:08:52 CET by Kim Nguyen>
+*)
+
(** Implementation of hashconsed Boolean formulae *)
type move = [ `Left | `Right | `Epsilon | `Up1 | `Up2 ]