Run.width_of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/run.bend as Run
Lines 175-176 of cswap-bend-cli@0.1.0.0/tui/run.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&start_line=175&end_line=176

import Base
import cswap-bend-cli@0.1.0.0/tui/num.bend as N

def width_of(+cols: String) -> U32:
  N.read_or(positive(U32.read(cols)), 100)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.read
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/num.bend&name=read_or
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/run.bend&name=positive