The invariant decorator has a checked mode and unchecked mode #37
Labels
feature/invariant
The `invariant` declaration
requirement
An assertion or property that must be fulfilled
Milestone
The text was updated successfully, but these errors were encountered: