Assertion: interface | /r/HasProperty | implemented by derived structs
Facets:
Source sentences:
text: Because interfaces must be implemented by derived structs and classes, they define a contract.