entry_index_specification

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

[rule list] 
This rule is called by

-> entry_body_formal_part