charon_
lib
0.1.45
Module fmt_
with_
ctx
Module Items
Traits
Functions
In charon_
lib::
pretty
charon_lib
::
pretty
Module
fmt_with_ctx
Copy item path
source
Expand description
Utilities for pretty-printing (u)llbc.
Traits
§
FmtWith
Ctx
Format the AST type as a string.
Functions
§
fmt_
body_
blocks_
with_
ctx
🔒
fmt_
call
Format a function call. We return the pair: (function call, comment)