decides

Un efecto que indica que la función puede fallar, y que llamar a esta función es una expresión que puede fallar. Las definiciones de función con el efecto decides también deben tener el efecto transacts, lo que significa que las acciones realizadas por esta función se pueden revertir como si nunca se hubieran realizado si se produce un fallo en cualquier parte de la función.