charon_lib::pretty::formatter

Trait DeclFormatter

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

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

Required Methods§

source

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

Implementors§