Module `State.Set`

val mode : mode -> unit
val redef : bool -> unit
val last_timer : float -> unit
val load_path : string list -> unit
val unroll_depth : int -> unit
val unroll_pick_given : int -> unit
val random_testing : bool -> unit
val sat_seed : int -> unit
val sat_random_freq : float -> unit
val smt_seed : int -> unit
val solver_seed : int -> unit
val gc_on_verify : bool -> unit
val timeout : int -> unit
val undo_mode : bool -> unit
val console_tags : Console_tag.tag list -> unit
val console_color : bool -> unit
val push_top_results : bool -> unit
val lnoise_hints : bool -> unit
val lockdown : int option -> unit
val coredump_dir : string option -> unit
val validate : bool -> unit
val skip_proofs : bool -> unit
val dparsetree : bool -> unit
val print_banner : bool -> unit
val open_dot : bool -> unit
val max_induct_k : int -> unit
val max_induct : int option -> unit
val backchain_limit : int -> unit
val max_splitter_k : int -> unit
val max_splitter : int option -> unit
val induct_unroll : int -> unit
val check_models : bool -> unit
val enable_all : bool -> unit
val spec_max_depth : int -> unit
val unroll_factor : bool -> unit
val unroll_enable_all : bool -> unit
val prelude_loaded : bool -> unit
val algnum_print_precision : int -> unit
val reflect_approx_models : bool -> unit
val use_ciml : bool -> unit
val callgraph_size : int -> unit
val callgraph_include_expansions : bool -> unit
val store_proofs : bool -> unit