A procedure declaration defines an identifier and associates it with a block of code. The procedure can then be called with a procedure statement.
_________________________________________________________________________________________________________
Procedure declaration
___________________________________________________________________
See section 14.4, page 783 for the list of parameters. Note that procedures can be generic, see section 8.5, page 491 for more details.
A procedure declaration that is followed by a block implements the action of the procedure in that block. The following is a valid procedure:
As with most identifiers, a procedure can have hint directives (section 1.5, page 53):
Note that it is possible that a procedure calls itself.