Module charon_lib::pretty::fmt_with_ctx

Utilities for pretty-printing (u)llbc.

Traits

• FmtWithCtx
  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)