def U32Nat.bit

bend-osdev-u32@0.1.0.0 · u32.bend:24

import Base

24# 1 for True, 0 for False
25def U32Nat.bit(b: Bool) -> Nat:
26  match b:
27    case True{}:
28      1n
29    case False{}:
30      0n