Proof assistant for the λΠ-calculus modulo rewriting
Library lambdapi.common
Module Common . Console . State
type t = {
verbose : int;(*

Verbosity level.

loggers : string;(*

Loggers enabled.

bflags : bool Lplib.Extra.StrMap.t;(*

Boolean flags.


Settings used to compile files.

val saved : t list Timed.ref

Stack of saved state for verbosity, loggers and boolean flags.

val push : unit -> unit

push () saves the current state of verbose, the loggers, and the boolean flags, pushing it to the stack.

val apply : t -> unit

apply st restores the setting in st.

val pop : unit -> unit

pop () restores the settings saved by push_state, removing it from saved_state.