def w.n700

import bend-kit-tty@0.1.0.1/width.bend as Width

import Base

4903def w.n700(lt: Bool, +c: U32) -> U32:
4904  match lt:
4905    case True{}:
4906      1
4907    case False{}:
4908      0

Uses (2)