def exit.of

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

import Base

1302# how a plan that goes on ends
1303def exit.of(fin: Finish) -> Exit:
1304  match fin:
1305    case Launch{b, as}:
1306      Exits{b, as}
1307    case Link{_b, _d, _n, _s}:
1308      Finished{}
1309    case Idle{}:
1310      Finished{}