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