5.13 do-while

A do-while loop starts with the do keyword followed by the loop body expression. After that follows the while keyword, an opening parenthesis (, the condition expression and a closing parenthesis ):

do expression while (condition);

The condition expression has to be of type Bool.

As the syntax suggests, the loop body expression is always evaluated at least once, unlike while loops.