プログラミング言語SML#解説 3.7.1版
19

19.17 while式 while exp1 do exp2

exp1bool型を持つ式であれば,この式 全体はunit型を持つ. この式の評価は,exp1の値がtrueであれ ばexp2を評価することを繰り返し. exp1の値がfalseであれば,()を返す.