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

import Base

def bash_opt_case(opt: Opt) -> List<&2, String>:
  match opt:
    case Opt{names, OptionKind{many}, ph, comp, help}:
      [String.concat(["        ", sh_list(names, "|"), ") ",
        bash_kind(comp, False{}), " ;;"])]
    case Opt{names, BareOptionKind{}, ph, comp, help}:
      [String.concat(["        ", sh_list(names, "|"), ") ",
        bash_kind(comp, True{}), " ;;"])]
    case _: []

Uses (8):
  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=String
  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=Opt
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=UsageKind
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=bash_kind
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sh_list