charon_lib/pretty/
mod.rs

1//! This module contains functions to pretty-print charon types.
2pub mod fmt_with_ctx;
3pub mod formatter;
4pub use fmt_with_ctx::FmtWithCtx;