Card.head_line: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/card.bend as Card
Lines 64-65 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=64&end_line=65

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

def head_line(+a: M.Acct) -> List<&2, F.Seg>:
  cat([F.sg(F.pad_left(M.acct_slot(a), 2n) ++ "  ", F.RBold{})], cat(names(a), cat([muted("  [" ++ tag_of(a) ++ "]")], tail_flags(a))))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  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=names
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&name=tag_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&name=tail_flags
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/fmt.bend&name=Role
  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=pad_left
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/fmt.bend&name=sg
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=Acct
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=acct_slot