Crate verusfmt

Structs

• RunOptions
  Options to pass to run
• RustFmtConfig
  Options to pass to rustfmt

Enums

• ParseAndFormatError
  A failure in running verusfmt
• Rule
  A Verus grammar

Functions

• run
  Run verusfmt
• rustfmt
  Run rustfmt, only on code outside the verus! macro.