Assertion: package's type | /r/CapableOf | check among various compilations
Facets:
Source sentences:
text: Even though Ada allows separate compilation, it maintains the strong type checking among the various compilations by enforcing rules of compilation order and compatibility checking.