モジュール '{0}' には {1} が含まれますが シグネチャでは {2} を指定しています シグネチャと実装の項数が異なります シグネチャは '{3}' が {4} 個以上の引数を受け入れる関数定義またはラムダ式であると指定していますが ...

モジュール '{0}' には
    {1}    
が含まれますが、シグネチャでは
    {2}    
を指定しています。シグネチャと実装の項数が異なります。シグネチャは、'{3}' が {4} 個以上の引数を受け入れる関数定義またはラムダ式であると指定していますが、実装は計算された関数値です。計算された関数値が許可された実装であることを宣言するには、シグネチャの型をかっこで囲んでください。たとえば、
	val {6}: int -> int -> int
ではなく、次のように指定します。
	val {5}: int -> (int -> int)