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.