def checksum.crc.table
import gralha-bytes@0.1.0.1/bytes.bend as Bytesimport Base
381def checksum.crc.table(n: Nat, +index: U32, out: Bytes) -> Bytes:
382 match n:
383 case 0n: out
384 case 1n+d: checksum.crc.table(d, U32.inc(index), bytes.push(out, checksum.crc.word(8n, index)))