>>121
代入を使うプログラムを書くのに使える機能だったら
http://caml.inria.fr/oreilly-book/html/index.html の
"Chapter 3 Imperative Programming"ってとこにまとめて書いてあるよん。