vstd::prelude

Macro verus

verus!() { /* proc-macro */ }