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§