Trait charon_lib::pretty::formatter::DeclFormatter

pub trait DeclFormatter<Id> {
    // Required method
    fn format_decl(&self, x: Id) -> String;
}

Provided some id, print the declaration (not simply its name).

Required Methods

fn format_decl(&self, x: Id) -> String

Implementors

impl<'a> DeclFormatter<FunDeclId> for FmtCtx<'a>

impl<'a> DeclFormatter<GlobalDeclId> for FmtCtx<'a>

impl<'a> DeclFormatter<TraitDeclId> for FmtCtx<'a>

impl<'a> DeclFormatter<TraitImplId> for FmtCtx<'a>

impl<'a> DeclFormatter<TypeDeclId> for FmtCtx<'a>