def bar_width

import cswap-bend-cli@0.1.0.0/tui/card.bend as Card

import Base

76def bar_width(+width: U32, +lw: Nat) -> Nat:
77  Nat.max(12n, Nat.min(30n, Nat.sub(Nat.sub(U32.to_nat(width), 42n), lw)))

Uses (6)