Cli.find_arg_go: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 4076-4082 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4076&end_line=4082

import Base

# The first Arg whose id is id; after a hit it walks no further.
def find_arg_go(items: List<&2, Item>, +id: String,
    found: Maybe<&2, ArgInfo>) -> Maybe<&2, ArgInfo>:
  match items found:
    case _ Some{hit}: Some{hit}
    case Nil{} None{}: None{}
    case item <> tail None{}: find_arg_go(tail, id, arg_info_found(item, id))

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ArgInfo
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_info_found