def zsh_opts

cli@0.2.0.0 · cli.bend:6779

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

6779def zsh_opts(opts: List<&2, Opt>) -> List<&2, String>:
6780  match opts:
6781    case Nil{}: Nil{}
6782    case Opt{+names, +kind, ph, comp, help} <> tail:
6783      List.append(&2, String,
6784        zsh_names(names, kind, zsh_pre(kind, names), Zsh.esc(help),
6785          Zsh.esc(ph), zsh_action(comp)),
6786        zsh_opts(tail))

Uses (8)

Used by (1)