Index definitions
One or more index definitions separated by comma can be defined.
Definition:
index_specs := index_spec [ index_spec_suc (*)]
One or more index definitions separated by comma can be defined.
index_specs := index_spec [ index_spec_suc (*)]