def zsh_entry

cli@0.2.0.0 · cli.bend:6814

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

6814def zsh_entry(names: List<&2, String>, +ind: String, +about: String) ->
6815    List<&2, String>:
6816  match names:
6817    case Nil{}: Nil{}
6818    case name <> tail:
6819      String.concat([ind, "  ", Sh.quote(String.concat([Zsh.esc(name), ":",
6820        about]))]) <> zsh_entry(tail, ind, about)

Uses (5)

Used by (1)