環境変数OCAMLRUNPARAMにpをセットしてやればいい。 http://ocaml.jp/archive/ocaml-manual-3.06-ja/manual024.html#ocamlrun-options

module type Foo = sig val f :int-> ?x:int->int->int end;;は大丈夫。 module type Foo = sig val f :int->?x:int->int->int end;;はダメ。 たぶん"->?"で一つのトークンだと認識されちゃうんだろうね。