The Procedure
The syntax for an EQUEL/Ada procedure is:
procedure proc_name [(formal_parameters)] is
[declarations]
begin
statements
end [proc_name];
Syntax Notes:
1. Proc_names on the procedure and end statements are not processed
and are not compared for equivalence, as required by Ada.
2. Formal parameters and variables declared in a procedure are visible to the procedure and to any nested blocks.
3. Formal parameters and their syntax are described in the section on variable declarations.