def w.n13
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
94def w.n13(lt: Bool, +c: U32) -> U32:
95 match lt:
96 case True{}:
97 w.n5(U32.is_lt(c, 160), c)
98 case False{}:
99 w.n12(U32.is_lt(c, 1472), c)
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
94def w.n13(lt: Bool, +c: U32) -> U32:
95 match lt:
96 case True{}:
97 w.n5(U32.is_lt(c, 160), c)
98 case False{}:
99 w.n12(U32.is_lt(c, 1472), c)