相互再帰なモジュールってどうやって定義したっけ…

あった。

http://caml.inria.fr/pub/docs/manual-ocaml/manual021.html