Assertion: contract | /r/HasProperty | special language support
Facets:
value: for contracts
type: PURPOSE
Source sentences:
text: Contracts can be written by code comments, enforced by a test suite, or both, even if there is no special language support for contracts.