~/jendhub

def opt_names

cli@0.2.0.0 · cli.bend:6443

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

6443def opt_names(opts: List<&2, Opt>) -> List<&2, String>:
6444  match opts:
6445    case Nil{}: Nil{}
6446    case Opt{names, kind, ph, comp, help} <> tail:
6447      List.append(&2, String, names, opt_names(tail))

Uses (4)

Used by (1)