Macro prusti_contracts::body_invariant

source · 
body_invariant!() { /* proc-macro */ }
Expand description

A macro for writing a loop body invariant.