charon_
lib
0.1.90
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
Macro
warn
Copy item path
Settings
Help
Summary
Source
macro_rules! warn { ($($arg:tt)+) => { ... }; }
Expand description
A custom log warn macro. Uses the log crate.