def zsh_names

cli@0.2.0.0 · cli.bend:6771

import Base

6771def zsh_names(names: List<&2, String>, +kind: UsageKind, +pre: String,
6772    +d: String, +ph: String, +act: String) -> List<&2, String>:
6773  match names:
6774    case Nil{}: Nil{}
6775    case name <> tail:
6776      zsh_spec(name, kind, pre, d, ph, act) <>
6777        zsh_names(tail, kind, pre, d, ph, act)