The 'invariant' declaration must be documented #27
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: