decides

An effect that indicates that the function can fail, and that calling this function is a failable expression.