Skip to main content

invariant

Attribute Macro invariant 

#[invariant]