Assertion: package's type | /r/HasProperty | called
Facets:
value: from outside the package
type: OTHER
Source sentences:
text: Typically, a package contains the declaration of a type (often a private type or private extension) along with the declaration of primitive subprograms of the type, which can be called from outside the package, while their inner workings remain hidden from outside users.