def bad_choice

cli@0.2.0.0 · cli.bend:2134

import cli@0.2.0.0/cli.bend as Cli
import Base

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

Uses (5)

Used by (1)