package lambdapi
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=9bc8ae3694dd51bd5742e7aba760bd2878c4b0e5ef9b3d4a7b06f3cd303b611d
sha512=c812c3129b3d85b0c4d7e741d11137dbb4fe2a0aaba3a5968409080b742924ecb506280c19ad83ef6bc910346db96d87780313fa7683c29345edae16ae79c704
doc/lambdapi.common/Common/Console/index.html
Module Common.Console
Source
Verbose level and loggers management.
out_fmt
main output formatter.
Default verbosity level (may be set with command line arguments).
set_default_verbose i
sets the default verbosity level to i
.
out lvl fmt
prints an output message using the format fmt
, but only if lvl
is strictly greater than the current verbosity level. Note that the output channel is automatically flushed if logging modes are enabled.
List of registered boolean flags, with their default values.
register_flag id d
registers a new boolean flag named id
, with default value of d
. Note the name should not have been used previously.
set_flag id b
sets the value of the flag named id
to be b
, or raises Not_found
if no flag with this name was registered.
reset_default ()
resets the verbosity level and the state of the loggers to their default value (configurable by the user with command line flags). The boolean flags are also reset to their default values.