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

import Base

def bad_choice(found: Maybe<&2, Bad>, id: String, at: String) ->
    List<&2, Problem>:
  match found:
    case None{}: Nil{}
    case Some{Bad{value, why}}: [BadChoice{at, id, value}]

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