def Crc32Spec.update
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
187def Crc32Spec.update(spec: Crc32Spec, c: U32, o: B.Octets) -> U32:
188 match spec:
189 case Crc32Spec{+width, poly, init, reflected, xorout}:
190 Crc32Spec.update.go(reflected, width, poly, c, B.Octets.to_list(o))