def Crc64Spec.finish
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
237def Crc64Spec.finish(spec: Crc64Spec, c: W.W64) -> W.W64:
238 match spec:
239 case Crc64Spec{poly, init, reflected, xorout}:
240 W.W64.xor(c, xorout)