Plan.chosen: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 630-633 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=630&end_line=633

import Base
import ezx@1.11.0.0/src/ez/target.bend as Tgt

# the file built: the pin's `bin`, then its `entry`, then the checkout's
# `bin`, then its `entry`, then `main.bend` (EZ-TOOL-7)
def chosen(+over: String, +binary: String, +entry: String) -> String:
  Bool.pick(String, String.is_empty(over), Tgt.file.of(binary, entry), over)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=file.of