Card.mini_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 221-222 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=221&end_line=222

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 mini_head(+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) ++ "]")], flag_if(M.acct_disabled(a), muted("  (disabled)")))))

Uses (14):
  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=flag_if
  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/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_disabled
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=acct_slot