Plan.Finish: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 756-761 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=756&end_line=761

import Base

# what is done with the binary: started with these words, as the last thing;
# linked into `dir` under `name`, with the lines a person is told; or nothing
type Finish is Data:
  Launch{bin: String, args: List<&2, String>}
  Link{bin: String, dir: String, name: String, says: List<&2, String>}
  Idle{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String