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

import Base

def arg_verdict(found: Maybe<&2, ArgInfo>, id: String, name: String,
    path: List<&2, String>, want: Want) -> Maybe<&2, String>:
  match found:
    case None{}:
      Some{String.concat(["'", id, "' is not an argument of '",
        path_text(name, path), "'"])}
    case Some{ArgInfo{key, usage, short, long, kind, attrs}}:
      want_verdict(want, id, kind, attrs)

Uses (8):
  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=Base/base.bend&name=String.concat
  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=Want
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=path_text
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=want_verdict