def both.done

bend-kit-webhooks@0.11.0.1 · webhooks.bend:216

import Base

216def both.done(+x: Bool, b: Result<&1, &1, Err, Bool>) -> Result<&1, &1, Err, Bool>:
217  match b:
218    case Fail{e}:
219      Fail{e}
220    case Done{y}:
221      Done{Bool.or(x, y)}