def zsh_cmd

cli@0.2.0.0 · cli.bend:6956

import Base

6956# The body at ind of the command with items and globals at words, given
6957# the arms of its subcommands.
6958def zsh_cmd(+items: List<&2, Item>, +globals: List<&2, Item>,
6959    +lists: List<&2, List<&2, String>>, name: String,
6960    +words: List<&2, String>, arms: List<&2, String>, ind: String) ->
6961    List<&2, String>:
6962  zsh_body(sub_entries(items),
6963    List.append(&2, String,
6964      zsh_opts(List.append(&2, Opt, arg_opts(items, lists),
6965        arg_opts(globals, lists))),
6966      zsh_opts(builtin_opts(items, globals,
6967        List.is_empty(&2, String, words)))),
6968    items, lists, name, words, arms, ind)