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

import Base

# The prefix of an option's specs: * when it repeats, else its names as a
# group that excludes each other.
def zsh_pre(kind: UsageKind, +names: List<&2, String>) -> String:
  match kind:
    case CountKind{}: "*"
    case OptionKind{True{}}: "*"
    case _:
      Bool.pick(String, Nat.is_lt(1n, List.length(&2, String, names)),
        String.concat(["(", String.join(names, " "), ")"]), "")

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=UsageKind