Macro vstd::prelude::struct_with_invariants_vstd

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