>>690, >>693
ocamlc ではなく、ocamlopt での話だよね？
コードの違いってのは、add の関数のコードを出力してるからでは？
呼び出しはインライン展開されていると思うが。

>>689 はちょっと無理みたいだね。
ざっと眺めたところでは、関数自体は (-inline を高めに設定すれば) 展開されるけど、
パタンマッチの部分が残ってしまってるのかな。