def Crc64Spec.update

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

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

220def Crc64Spec.update(spec: Crc64Spec, c: W.W64, o: B.Octets) -> W.W64:
221  match spec:
222    case Crc64Spec{poly, init, reflected, xorout}:
223      Crc64Spec.update.go(reflected, poly, c, B.Octets.to_list(o))