Il modulo '{0}' contiene {1} tuttavia la relativa firma specifica {2} I gradi nella firma e nell'implementazione sono diversi. ...

Il modulo '{0}' contiene
    {1}    
tuttavia la relativa firma specifica
    {2}    
I gradi nella firma e nell'implementazione sono diversi. La firma specifica che '{3}' è una definizione di funzione o un'espressione lambda che accetta un numero di argomenti almeno pari a {4}, tuttavia l'implementazione è un valore di funzione calcolato. Per dichiarare che un valore di funzione calcolato è un'implementazione consentita, è sufficiente racchiudere in parentesi il relativo tipo nella firma, ad esempio
	val {5}: int -> (int -> int)
invece di
	val {6}: int -> int -> int.