Anotation for defining the loop variable type