def w.n512

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

import Base

3587def w.n512(lt: Bool, +c: U32) -> U32:
3588  match lt:
3589    case True{}:
3590      0
3591    case False{}:
3592      1

Uses (2)