たとえば、int 型の引数を２つ受け取る関数があるとする。こんな感じ。 # let add x y = x + y;; val add : int -> int -> int = <fun> # add 10 20;; - : int = 30 # この場合は、add の型は int -> int -> int = となる。意味としては、int 型の変数を２つ受け</fun>…