OCaml 4.02 に追加された新しいモジュール型、 (module M) が結構いけているのです。OCaml である既存のモジュールの型は？というと、 module type of M というのがあって、 module type of Unix とやると Unix モジュールの signature を貰えるというもので…