Plan.exit.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 1302-1310 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=1302&end_line=1310

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Exit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Finish