Ends.outcome.of: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ez/ends.bend as Ends Lines 16-19 of ezx@1.11.0.0/src/ez/ends.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/ends.bend&start_line=16&end_line=19 import Base import ezx@1.11.0.0/src/lock/plan.bend as P # a command that ends on whether it passed: success, or a refusal whose # reason was already printed def outcome.of(passed: Bool) -> P.Outcome: Bool.pick(P.Outcome, passed, P.Success{}, P.Refused{""}) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Outcome