Module charon_lib::pretty

This module contains functions to pretty-print charon types.

Re-exports

• pub use fmt_with_ctx::FmtWithCtx;

Modules

• fmt_with_ctx
  Utilities for pretty-printing (u)llbc.
• formatter