decides

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