def exit

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

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

1312# how a plan ends
1313def exit(pl: Plan) -> Exit:
1314  Plan{_l, _m, f, o} = pl
1315  match o:
1316    case P.Success{}:
1317      exit.of(f)
1318    case P.Refused{_why}:
1319      Refusal{}