Module Sasacore.Round

type t = {
  1. mutable first : bool;
  2. mutable is_round : bool;
  3. mutable moves : int;
  4. mutable cpt : int;
  5. mutable round_mask : bool list list;
  6. mutable pre_acti_ll : bool list list;
}
type t_save = bool * int * int * bool list list * bool list list
val s : t
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 get : unit -> t_save
val set : t_save -> unit
val reinit : unit -> unit
val reinit_mask : unit -> unit