Crate verusfmt

Structs

• RunOptions
  Options to pass to run
• RustFmtConfig
  Options to pass to [rustfmt_with_config]
• VerusParser

Enums

• ParseAndFormatError
• Rule
  A Verus grammar

Constants

• VERUS_PREFIX
• VERUS_SUFFIX

Functions

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