Error al declarar funcion con más de un argumento

[manugunther]

Si quiero chequear un módulo con una función que toma más de un argumento, no lo valida:

module Pruebas

let spec fn x y z = x+y+z

let fun fn x y z = x+y+z

Al validarlo tira:

=============ErrorsInModule========== Modulo: "Pruebas" Specs con error: [([Función x sin declarar.,Función y sin declarar.,Función z sin declarar.],Spec fn [x,y,z] x+(y+z))] Funs con error: [([Función x sin declarar.,Función y sin declarar.,Función z sin declarar.],Fun fn [x,y,z] x+(y+z) Nothing)] Vals con error: [] Thm con error: []

Der con error: []

[manugunther]

Me confundí. El error es el que teníamos desde antes, que no se puede declarar una función poniendo a la derecha las variables. Lo cierro