>>971
weight*はtotal functionになってるけど、alignとlength*はそうじゃない。どういう場合にtotal functionといえるのか？
それはもう少し先まで読んでみるとわかる。

＞align関数のtotal function性(無限ループにはならない関数)
＞の証明になっているのかがピンときません。

この本は発見的に自分で違いを見つけさせる方針だから証明はしてない。
alignはtotal functionになってないことを理解しよう。
そして先を読んでみると他のtotal functionにならない例が出てくる。
典型的な例を知っておくと計算が終了しないバグに対する免疫ができる。
それがこの辺のねらい。とにかく先に進んでみる。