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

import Base

# Parse checks a value's type before its choices, so a choice the type
# rejects could never be given.
def check_choices(found: Maybe<&2, List<&2, String>>,
    kind: Maybe<&2, ValueType>, id: String, at: String) -> List<&2, Problem>:
  match found:
    case None{}: Nil{}
    case Some{values}: bad_choice(choice_bad(values, kind, None{}), id, at)

Uses (7):
  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=cli@0.2.0.0/cli.bend&name=Problem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ValueType
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=bad_choice
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=choice_bad