def choose

import cli@0.2.0.0/cli.bend as Cli

import Base

4785def choose(-A: Data, m: Matches, id: String,
4786    table: List<(String & A)>) -> Dec(A):
4787  choice_must(A, choose_pick(A, False{}, unzip_keyed(&2, A, table), m, id))

Uses (9)

Bool
List
String
Pair
cli@0.2.0.0/cli:Dec
…

Used by (0)

No other definition uses this definition.