charon_lib/pretty/

mod.rs

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