Assertion: package's subprogram | /r/CapableOf | operate on that type
Facets:
value: in the visible part
type: LOCATION
Source sentences:
text: A common usage of the three parts is to declare the existence of a type and some subprograms that operate on that type in the visible part, define the actual structure of the type (e.g. as a record) in the private part, and provide the code to implement the subprograms in the package body.