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

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

# Columns left for the suffix after indent, label, bar, percent and gap.
def room(+v: M.View, +lw: Nat, +bw: Nat) -> Nat:
  Nat.sub(U32.to_nat(view_width(v)), Nat.add(Nat.add(4n, lw), Nat.add(Nat.add(1n, bw), 7n)))

Uses (6):
  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.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/card.bend&name=view_width
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/model.bend&name=View