OCaml 4.02 に追加された新しいモジュール型、 (module M) が結構いけているのです。 OCaml である既存のモジュールの型は?というと、 module type of M というのがあって、 module type of Unix とやると Unix モジュールの signature を貰えるというものでした、が、これがあまり使いたいときに使えないものでした。 OCaml で既存モジュールに何か関数を足したいことがあります。特に元から付いている標準のライブラリは足りないものが多すぎる。たとえば Unix.usleep が欲しい: module Unix = struct include Unix let usleep x = ignore (select [] [] [] x) end はい、簡単にできました。ではこのオレオレ Unix の型を書きたい。これは元の Un