def crc.bit
import bend-kit-journal@0.3.1.0/journal.bend as Journalimport Base
186def crc.bit(n: Nat, +c: U32) -> U32:
187 match n:
188 case 0n:
189 c
190 case 1n+m:
191 crc.bit(m, Bool.pick(U32, U32.is_eq((c .&. 1 : U32), 1), ((c >> 1n) .^. 3988292384 : U32), (c >> 1n : U32)))