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

import Base

def choose(-A: Data, m: Matches, id: String,
    table: List<(String & A)>) -> Dec(A):
  choice_must(A, choose_pick(A, False{}, unzip_keyed(&2, A, table), m, id))

Uses (9):
  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=Pair
  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=choice_must
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=choose_pick
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=unzip_keyed