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

import Base

def choose_check(-A: Data, verdict: Maybe<&2, String>,
    keys: List<&2, String>, values: List<&2, A>,
    fields: List<&2, Field>, id: String) -> Dec(Maybe<&2, A>):
  match verdict:
    case None{}: choose_read(A, keys, values, field_find(fields, id))
    case Some{msg}: Fail{Bug{msg}}

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