def succeeds.plan
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/plan.bend as P
1253# whether a plan ends in success
1254def succeeds.plan(pl: P.Plan) -> Bool:
1255 P.Plan{_es, outcome} = pl
1256 match outcome:
1257 case P.Success{}:
1258 True{}
1259 case P.Refused{_why}:
1260 False{}