Module fmt_with_ctx

Utilities for pretty-printing (u)llbc.

Macros

impl_debug_via_display 🔒

impl_display_via_ctx 🔒

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)