mliとは？ OCamlのプログラムは基本的にいくつものモジュールに分割されて書かれる。そして「あるファイルに記述されたOCamlコード」は独立した一つのモジュールとなる（中に複数のサブモジュールが定義されていることはあり得る）。 ただし、Cの.hと.cファ…