def bit

bend-lawful-stdlib@0.1.0.0 · src/u32.bend:15

import Base

15def bit(b: Bool) -> Nat:
16  match b:
17    case False{}:
18      0n
19    case True{}:
20      1n