def finish_required_value
import cli@0.2.0.0/cli.bend as Cliimport Base
1316def finish_required_value(found: PhScan, id: String, short: String,
1317 long: String, kind: UsageKind) -> Usage:
1318 match found:
1319 case PhBad{col}:
1320 Invalid{col}
1321 case PhOK{rev, SNil{}, next}:
1322 Parsed{id, short, long, kind}
1323 case PhOK{rev, rest, next}:
1324 Invalid{next}