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

import Base

def fish_values(lists: List<&2, List<&2, String>>, +k: Nat) ->
    List<&2, String>:
  match lists:
    case Nil{}: Nil{}
    case values <> tail:
      String.append("        case ", Nat.show(k)) <>
        String.append("            printf '%s\\n' ", fish_list(values)) <>
        fish_values(tail, (k + 1n : Nat))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  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=cli@0.2.0.0/cli.bend&name=fish_list