Module pretty

Source
Expand description

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