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

import Base

def fish_slot_lines(slots: List<&2, Slot>, +at: String, +id: String) ->
    List<&2, String>:
  match slots:
    case Nil{}: Nil{}
    case Slot{k, True{}, required, many, rest, ph, comp} <> tail:
      fish_slot_lines(tail, at, id)
    case Slot{k, False{}, required, many, rest, ph, Free{}} <> tail:
      fish_slot_lines(tail, at, id)
    case Slot{k, False{}, required, many, rest, ph, comp} <> tail:
      String.concat([at, " p", Nat.show(k), "'", fish_words(id, comp)]) <>
        fish_slot_lines(tail, at, id)

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=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.concat
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Comp
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Slot
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=fish_words