Assertion: package's specification | /r/CapableOf | declare public type
Facets:
Source sentences:
text: The specification declares a public type, cursor, and exception, and three public subprograms.