Assertion: package's cursor | /r/HasAspect | corresponding definition
Facets:
value: in the package body
type: LOCATION
Source sentences:
text: Every cursor or subprogram declaration in the package specification must have a corresponding definition in the package body.