Struct kailua_check::env::IdDisplay

#[must_use]
pub struct IdDisplay<'a, R: 'a> { /* fields omitted */ }

Displays a globally unique name reference in the human-readable form.

Trait Implementations

impl<'a, R: Report> Display for IdDisplay<'a, R>

In the debugging output a globally unique name reference is denoted <i>Name</i>$MAPid or <i>Name</i>_, where MAP is a unique alphabetic code for the scope map index.

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.