charon_lib::pretty::formatter

Trait IntoFormatter

source
pub trait IntoFormatter {
    type C: AstFormatter;

    // Required method
    fn into_fmt(self) -> Self::C;
}

Required Associated Types§

Required Methods§

source

fn into_fmt(self) -> Self::C

Implementors§

source§

impl<'a> IntoFormatter for &'a TransformCtx<'_>

source§

type C = FmtCtx<'a>

source§

impl<'tcx, 'ctx, 'a> IntoFormatter for &'a TranslatedCrate

source§

type C = FmtCtx<'a>

source§

impl<C: AstFormatter> IntoFormatter for C

source§

type C = C