def n32.bits

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

import Base

81def n32.bits(n: Nat, +poly: U32, +topbit: U32, +mask: U32, +c: U32) -> U32:
82  match n:
83    case 0n:
84      c
85    case 1n+p:
86      n32.bits(p, poly, topbit, mask, n32.pick(Bool.not(U32.is_eq(U32.and(c, topbit), 0)), poly, mask, c))