charon_lib::pretty

Module fmt_with_ctx

Source
Expand description

Utilities for pretty-printing (u)llbc.

Macros§

impl_debug_via_display 🔒
impl_display_via_ctx 🔒

Structs§

WithCtx

Traits§

FmtWithCtx
Format the AST type as a string.