条件が真になるまで後続のブロックを繰り返します。

条件が満たされていないか調べ、満たされていないならブロックを実行し、再び条件をチェックします。条件が真になっていたら続くブロックに進みます。