Version

Invariants

The invariants view displays all the invariants of the current class.
It is available through the Class tab of the context tool.

Back to Class views
Permanent link
cached: 11/05/2025 4:20:13.000 AM