Le module '{0}' contient {1} mais sa signature spécifie {2} Les arités sont différentes entre la signature et l'implémentation. ...

Le module '{0}' contient
    {1}    
mais sa signature spécifie
    {2}    
Les arités sont différentes entre la signature et l'implémentation. La signature spécifie que '{3}' est une définition de fonction ou une expression lambda qui accepte au moins {4} argument(s) mais l'implémentation est une valeur de fonction calculée. Pour déclarer qu'une valeur de fonction calculée est une implémentation autorisée, mettez simplement son type entre parenthèses dans la signature, par exemple
	val {5}: int -> (int -> int)
au lieu de
	val {6}: int -> int -> int.