lambdapi
Proof assistant for the λΠ-calculus modulo rewriting
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t = {
verbose : int; | (* Verbosity level. *) |
loggers : string; | (* Loggers enabled. *) |
bflags : bool Lplib.Extra.StrMap.t; | (* Boolean flags. *) |
}
Settings used to compile files.
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
.
ON THIS PAGE
No table of contents