def inc

bend-toon-codec@0.1.0.0 · src/dline.bend:20

import bend-toon-codec@0.1.0.0/src/dline.bend as Dline
import Base

20def inc(+b: Bool) -> U32:
21  match b:
22    case True{}:
23      1
24    case False{}:
25      0

Uses (2)

Used by (1)