def U32Nat.odd

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

import Base

44# x mod 2: 1 for an odd x, 0 for an even one
45def U32Nat.odd(n: Nat) -> Nat:
46  match n:
47    case 0n:
48      0n
49    case 1n+p:
50      match p:
51        case 0n:
52          1n
53        case 1n+q:
54          U32Nat.odd(q)