lambdapi

Proof assistant for the λΠ-calculus modulo rewriting
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.