def Result.default

Base · base.bend:882

882def Result.default(
883  a, b, -E: Kind(a), -A: Kind(b), r: Result<a, b, E, A>, d: A
884) -> A:
885  match r:
886    case Fail{e}:
887      d
888    case Done{x}:
889      x