def w.n523

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

import Base

3664def w.n523(lt: Bool, +c: U32) -> U32:
3665  match lt:
3666    case True{}:
3667      0
3668    case False{}:
3669      1

Uses (2)