Assertion: package's subprogram | /r/HasProperty | defined in a package body
Facets:
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.