Macro vstd::prelude::proof

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