Dafny for-loop with the forall statement?

Question

I have been working in Dafny for a while and if had to use a for loop, I have used the while statement, because I thought the for loop it did not exist in Dafny