Description of the illustration proc_decl_in_type.eps
PROCEDURE name [ ( parameter_declaration [, parameter_declaration ]... ) ] { IS | AS } { [ declare_section ] body | call_spec }
PROCEDURE name [ ( parameter_declaration [, parameter_declaration ]... ) ] { IS | AS } { [ declare_section ] body | call_spec }