formal_subprogram_declaration

formal_subprogram_declaration ::= 
      "with" subprogram_specification [ "is" ( default_name | "<>" ) ] ";" 

This rule is called by

-> generic_formal_parameter_declaration