def checksum.crc.table

gralha-bytes@0.1.0.1 · bytes.bend:381

import gralha-bytes@0.1.0.1/bytes.bend as Bytes
import 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)))

Uses (6)

Used by (1)