def w.n12
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
87def w.n12(lt: Bool, +c: U32) -> U32:
88 match lt:
89 case True{}:
90 w.n8(U32.is_lt(c, 1470), c)
91 case False{}:
92 w.n11(U32.is_lt(c, 1475), c)
import bend-kit-tty@0.1.0.1/width.bend as Widthimport Base
87def w.n12(lt: Bool, +c: U32) -> U32:
88 match lt:
89 case True{}:
90 w.n8(U32.is_lt(c, 1470), c)
91 case False{}:
92 w.n11(U32.is_lt(c, 1475), c)