~/jendhub

def valued_names

cli@0.2.0.0 · cli.bend:7060

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

7060def valued_names(opts: List<&2, Opt>) -> List<&2, String>:
7061  match opts:
7062    case Nil{}: Nil{}
7063    case Opt{names, OptionKind{many}, ph, comp, help} <> tail:
7064      List.append(&2, String, names, valued_names(tail))
7065    case head <> tail: valued_names(tail)

Uses (5)

Used by (1)