def outcome.of

ezx@1.11.0.0 · src/ez/ends.bend:16

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

16# a command that ends on whether it passed: success, or a refusal whose
17# reason was already printed
18def outcome.of(passed: Bool) -> P.Outcome:
19  Bool.pick(P.Outcome, passed, P.Success{}, P.Refused{""})