Verse Decides Function Effect

An effect that indicates that the function can fail, and that calling this function is a failable expression. Function definitions with the decides effect must also have the transacts effect, which means the actions performed by this function can be rolled back as though the actions were never performed if there's a failure anywhere in the function.