package lambdapi

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Module to manipulate imperative state of the typechecker.

type t = {

}

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.