Si quisiéramos realizar más de una comprobación (por ejemplo, evaluar si el número es cero, mayor que cero o menor que cero), tendríamos que anidar las expresiones if. Por ejemplo:
let
n = -7
in
if n = 0 then "cero" else if n > 0 then "positivo" else "negativo"
n = -7
in
if n = 0 then "cero" else if n > 0 then "positivo" else "negativo"
negativo
En este caso la condición principal es la que sigue al primer if (n = 0). Si se cumple se devuelve el texto "cero". Si no se cumple nos planteamos otra condición: si el valor es mayor que cero devolvemos el texto "positivo" y, si no lo es, el texto "negativo".
