camlでは、宣言する関数が再帰の場合に限って rec をつけなければならない事になってますが、何故？
処理系で簡単に判別できそうな気がするのですが、プログラミングの負担になるだけなのでは？