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

import Base

# The arms of _dest for subcommands entries of the path at words, numbered
# pre.
def fish_dest_arms(entries: List<&2, Entry>, +pre: String,
    +words: List<&2, String>, +found: List<&2, Stop>) -> List<&2, String>:
  match entries:
    case Nil{}: Nil{}
    case Entry{name, names, about} <> tail:
      String.append("        case ", String.join(fish_pats(names, pre), " ")) <>
        String.append("            echo ", Nat.show(stop_number(found,
          List.append(&2, String, words, [name]), None{}))) <>
        fish_dest_arms(tail, pre, words, found)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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.join
  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=Stop
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=fish_pats
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=stop_number