Args.argv.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/share/args.bend as Args
Lines 151-154 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=151&end_line=154

import Base

# a `run` line and a `tool run` line are parsed without the words they
# forward. Every other line is parsed as it arrived.
def argv.of(+as: List<&2, String>) -> List<&2, String>:
  argv.run(String.eq(at(as, 0n), "run"), as)

Uses (5):
  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.eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/args.bend&name=argv.run
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/args.bend&name=at