decides

関数が失敗する可能性があること、およびこの関数の呼び出しが失敗する可能性がある式であることを示すエフェクトです。 decides エフェクトを持つ関数定義は transacts エフェクトも保持している必要があります。つまり、関数のいずれかの部分でエラーが発生した場合に、この関数によって実行されるアクションを (アクションが実行されなかったかのように) ロールバックできます。