Module fmt_with_ctx 

Utilities for pretty-printing (u)llbc.

Macros

impl_debug_via_display 🔒

impl_display_via_ctx 🔒

Structs

WithCtx

Constants

LLBC_UNWIND_PREFIX 🔒

Traits

FmtWithCtx

Format the AST type as a string.

Functions

fmt_llbc_unwind_block 🔒

fmt_safety_comment 🔒

With include_safety, add a comment line if this isn’t safe.

fmt_where_clauses 🔒

trait_impl_short_name 🔒