charon_lib::pretty

Module formatter

source

Structs§

Traits§

  • Provided some id, print the declaration (not simply its name).
  • Formatter is a trait for converting objects to string.
  • We use this trait to update the context by pushing a group of bound regions.
  • We use this trait with the formatter to update the context, for instance when we enter a declaration that we need to print.
  • We use this trait with the formatter to update the context, for instance when we enter a declaration that we need to print.

Trait Aliases§