def r32.bits

bend-osdev-crc@0.1.0.0 · crc.bend:57

import Base

57def r32.bits(n: Nat, +poly: U32, +c: U32) -> U32:
58  match n:
59    case 0n:
60      c
61    case 1n+p:
62      r32.bits(p, poly, r32.pick(U32.is_eq(U32.and(c, 1), 1), poly, c))