Das Modul "{0}" enthält {1} Die Signatur gibt aber Folgendes an: {2} Die Stelligkeit in der Signatur und in der Implementierung ...

Das Modul "{0}" enthält
    {1}    
Die Signatur gibt aber Folgendes an:
    {2}    
Die Stelligkeit in der Signatur und in der Implementierung ist unterschiedlich. Laut Signatur ist "{3}" eine Funktionsdefinition oder ein lambda-Ausdruck, die bzw. der mindestens {4} Argument(e) akzeptiert, bei der Implementierung handelt es sich allerdings um einen berechneten Funktionswert. Um einen berechneten Funktionswert als zulässige Implementierung zu deklarieren, setzen Sie den Typ in der Signatur einfach in Klammern, z.B.
	val {5}: int -> (int -> int)
anstatt
	val {6}: int -> int -> int.