def zsh_help_tree

cli@0.2.0.0 · cli.bend:6857

import Base

6857# After help at depth, the subcommand names, then deeper by arms.
6858def zsh_help_tree(entries: List<&2, Entry>, label: String,
6859    arms: List<&2, String>, +depth: Nat, +ind: String) -> List<&2, String>:
6860  List.concat(&2, String, [
6861    [String.concat([ind, "if (( CURRENT == ", Nat.show(depth), " )); then"])],
6862    zsh_commands(entries, False{}, label, String.append(ind, "  ")),
6863    zsh_deeper(arms, depth, ind),
6864    [String.append(ind, "fi")],
6865  ])