While это стандартные циклы использющие пред-условие или пост-условие :
Например :
Или используя do...while :
Также как в if, expr-cond в цике while должно иметь тип Bool.