Assertion: interface | /r/CapableOf | use the type-system
Facets:
value: in the compiler
type: LOCATION
Source sentences:
text: Empty interfaces can be checked at compile-time using the type-system in the compiler.