The codice_6 statement can iterate over any collection. In this case, it is producing a sequence of indexes (codice_7) and values (codice_8) from the array codice_2. The index codice_7 and the value codice_8 have their types inferred from the type of the array codice_2.