package lambdapi

  1. Overview
  2. Docs
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type

Module to manipulate imperative state of the typechecker.

type t = {
  1. verbose : int;
    (*

    Verbosity level.

    *)
  2. loggers : string;
    (*

    Loggers enabled.

    *)
  3. 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.