type t = {
mutable first : bool;
mutable is_round : bool;
mutable moves : int;
mutable cpt : int;
mutable round_mask : bool list list;
mutable pre_acti_ll : bool list list;
}
type t_save = bool * int * int * bool list list * bool list list
val all_false : bool list list -> bool
val bool2str : bool -> string
val bll2str : bool list list -> string
val bl2str : bool list -> string
val debug_update : string -> bool -> unit
val update : bool -> bool -> bool list list -> bool list list -> unit
val reinit : unit -> unit
val reinit_mask : unit -> unit