/ディふァー/
p.130
If it contains a declaration of subprogram or deferred constant (a constant with unspecified value), the package body is required.
非公式訳:
サブプログラムの宣言またはdeferred constant (値の指定されていない定数)をそこ(訳註: パッケージ宣言)に記述する場合はパッケージボディが必要です。