def refuses.plan

ezx@1.11.0.0 · src/tool/plan.bend:1063

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

1063# whether a plan ends in a refusal
1064def refuses.plan(pl: Plan) -> Bool:
1065  Plan{_l, _m, _f, outcome} = pl
1066  match outcome:
1067    case P.Success{}:
1068      False{}
1069    case P.Refused{_why}:
1070      True{}