Args.parse: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/args.bend as Args
Lines 440-447 of cswap-bend-cli@0.1.0.0/args.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/args.bend&start_line=440&end_line=447

import Base

# The command a command line asks for, or the usage error (PBad) argparse
# would print.
def parse(ts: List<&2, String>) -> Parsed:
  match ts:
    case Nil{}:
      bad("no command given - try 'cswap help'")
    case Con{+h, rest}:
      parse.first(verb_of(h), h, rest)

Uses (6):
  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=cswap-bend-cli@0.1.0.0/args.bend&name=Parsed
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=bad
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=parse.first
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=verb_of