Expand description
This module contains functions to pretty-print charon types.
Re-exports§
pub use fmt_with_ctx::FmtWithCtx;
Modules§
- Utilities for pretty-printing (u)llbc.
This module contains functions to pretty-print charon types.
pub use fmt_with_ctx::FmtWithCtx;