Attribute Macro vstd::prelude::invariant

#[invariant]

Attribute Macro vstd::prelude::invariantCopy item path

Attribute Macro vstd::prelude::invariant