def width_of

cswap-bend-cli@0.1.0.0 · tui/run.bend:175

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

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