parameter_specification

parameter_specification ::= 
      defining_identifier_list ":" 
      ( ( mode subtype_mark ) | access_definition ) 
      [ ":=" default_expression ] 

This rule is called by

-> formal_part