Assertion: package's type | /r/HasProperty | visible
Facets:
value: to users of the package
type: TRANSITIVE-OBJECT
Source sentences:
text: Place in a spec only the types, items, and subprograms that must be visible to users of the package.