def w.n288

bend-kit-tty@0.1.0.1 · width.bend:2019

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

2019def w.n288(lt: Bool, +c: U32) -> U32:
2020  match lt:
2021    case True{}:
2022      0
2023    case False{}:
2024      1

Uses (2)

Used by (1)