Module logger
charon_
lib
0.1.88
Module logger
Module Items
Functions
In crate charon_
lib
Modules
ast
common
errors
export
ids
logger
name_matcher
options
pretty
transform
Macros
code_location
error
error_assert
generate_index_type
info
raise_error
register_error
sanity_check
trace
warn
Constants
VERSION
Functions
deserialize_llbc
charon_lib
Module
logger
Copy item path
Settings
Help
Summary
Source
Functions
§
initialize_
logger
Initialize the logger.