Assertion: package's subprogram | /r/HasProperty | accessible
Facets:
value: outside the package
type: OTHER
Source sentences:
text: Keep in mind that subprograms defined in a package body are accessible outside the package only if their specs also appear in the package spec.
text: Subprograms defined in a package body are accessible outside the package only if their specs also appear in the package spec.
text: Subprograms defined in a package body are accessible outside the package only if their specs also appear in the package spec.