Card.row_head: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/card.bend as Card
Lines 137-139 of cswap-bend-cli@0.1.0.0/tui/card.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&start_line=137&end_line=139

import Base
import cswap-bend-cli@0.1.0.0/tui/fmt.bend as F
import cswap-bend-cli@0.1.0.0/tui/model.bend as M

# The indent, the label and the bar of a row.
def row_head(+w: M.Win, +lw: Nat, +bw: Nat, +thr: Maybe<&2, U32>, +stale: Bool) -> List<&2, F.Seg>:
  cat([plain("    "), muted(F.pad_right(M.win_label(w), lw) ++ " ")], F.bar(M.win_pct(w), bw, thr, stale))

Uses (15):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&name=cat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&name=muted
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&name=plain
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/fmt.bend&name=Seg
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/fmt.bend&name=bar
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/fmt.bend&name=pad_right
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=Win
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=win_label
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=win_pct