Skip to main content

Module fmt_with_ctx

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.

Functions§

fmt_where_clauses 🔒
trait_impl_short_name 🔒