$\,\langle$ exp ${}_{1}$ $\rangle\,$ がbool型を持つ式であれば，この式全体はunit型を持つ．この式の評価は， $\,\langle$ exp ${}_{1}$ $\rangle\,$ の値がtrueであれば $\,\langle$ exp ${}_{2}$ $\rangle\,$ を評価することを繰り返し． $\,\langle$ exp ${}_{1}$ $\rangle\,$ の値がfalseであれば，()を返す．

19.17 while式 while ⟨exp1⟩ do ⟨exp2⟩

19.17 while式 while $\,\langle$ exp ${}_{1}$ $\rangle\,$ do $\,\langle$ exp ${}_{2}$ $\rangle\,$