型推論で省略できるけど、別に型を書いてもいい
つーか、トップレベルの関数は型注釈を書くのが当たり前
ただし、自分で一から型を書かなくても、処理系が推論した型を出力させて、
それをそのままコードとして使うなんて日常的に行われてる

OCamlは型エラーがでても、その直前までの型推論の結果を出力してくれる
（そしてエディタで表示できる）から、型注釈を省略してもデバッグが大変にはならない

使った事も無いのに聞きかじりでテキトーなこと書くなよ