Cli.zsh_help_tree: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 6857-6865 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=6857&end_line=6865

import Base

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

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.concat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=zsh_commands
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=zsh_deeper