Args.tool.line: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/share/args.bend as Args Lines 111-115 of ezx@1.11.0.0/src/share/args.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/share/args.bend&start_line=111&end_line=115 import Base # `tool run` with its target, and without the words the program is given. # A missing target is left missing, so the parse can say so. def tool.line(+target: String) -> List<&2, String>: Bool.pick(List<&2, String>, String.is_empty(target), ["tool", "run"], ["tool", "run", target]) 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=List 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