charon_lib/pretty/
mod.rs

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