charon_
lib
0.1.96
Module fmt_
with_
ctx
Module Items
Macros
Structs
Traits
In charon_
lib::
pretty
charon_lib
::
pretty
Module
fmt_with_ctx
Copy item path
Source
Expand description
Utilities for pretty-printing (u)llbc.
Macros
§
impl_
debug_
via_
display
🔒
impl_
display_
via_
ctx
🔒
Structs
§
WithCtx
Traits
§
FmtWith
Ctx
Format the AST type as a string.