Azaz külön logikai típus kell, és while azt fogadja csak el - ez sok nyelvben így van.
(Egy eset ellen nem véd ha a függvény logikai értékkel tér vissza akkor az = esetén a visszatérési értékre tesztelsz, az == esetén meg arra hogy az egyenlő-e a változóval - mondjuk erre lehet warningolni...)