riável</var> in <var>list</var> <var>end_tests</var> do <var>corpo</var>
</pre>
<p>Os elementos de <var>list</var> são quaisquer expressões que irão
sucessivamente ser atribuídas para a variável a cada iteração do
corpo.  O teste opcional <var>end_tests</var> pode ser usado para encerrar a execução da
declaração <code>do</code>; de outra forma o <code>do</code> terminará quando a lista for exaurida ou quando
um <code>return</code> for executado no corpo.  (De facto, a lista pode ser qualquer
ex