Module 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