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

import Base

def choose_read(-A: Data, keys: List<&2, String>, values: List<&2, A>,
    f: Field) -> Dec(Maybe<&2, A>):
  match f:
    case Field{id, head <> tail, source}:
      choice_dec(A, find_by_key(&2, A, keys, values, head))
    case _: Done{None{}}

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=Result
  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=Field
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=choice_dec
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_by_key