re que o predicado de uma declaração <code>if</code> ou uma função <code>is</code> falha em
avaliar ou para <code>true</code> ou para  <code>false</code>.
</p>
<p>Se <code>false</code>, <code>unknown</code> é retornado
no lugar nesse caso.  O modo <code>prederror: false</code> não é suportado no
código traduzido;
todavia, <code>maybe</code> é suportado no código traduzido.
</p>
<p>Veja também <code>is</code> e <code>maybe</code>.
</p>
</dd></dl>

<dl>
<dt><u>Função:</u> <b>return</b><i> (valor)