The Package Body
The syntax for an EQUEL/Ada package body is:
package body package_name is
[declarations]
[begin
statements]
end [package_name];
Syntax Notes:
1. Package_names on the package body and end statements are not processed and are not compared for equivalence, as required by Ada.
2. You cannot qualify objects in the package specification with any package names.
3. Variables declared in a package body are visible to the package body and to any nested blocks.
4. If the package body requires knowledge of the package specification, you must make the specification known to EQUEL. This can be done either by including the specification's file by means of the EQUEL include statement, or by including the text of the specification in the EQUEL source file. EQUEL does not assume knowledge of the package specification with the same name as the body.
5. EQUEL does not process separate compilation units and, consequently, does not allow the Ada separate clause.