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

import Base

def choose_pick(-A: Data, opt: Bool,
    choices: (List<&2, String> & List<&2, A>), m: Matches,
    +id: String) -> Dec(Maybe<&2, A>):
  (+keys, values) = choices
  match m:
    case Matches{cmd, path, fields, external}:
      choose_check(A, verdict(cmd, path, id, WChoose{opt, keys}),
        keys, values, fields, id)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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=Dec
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Matches
  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=choose_check
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=verdict