Macro vstd::prelude::struct_with_invariants

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