entry_index_specification

entry_index_specification ::= 
      "for" defining_identifier "in" discrete_subtype_definition 

[rule list]
This rule is called by

-> entry_body_formal_part