def Crc64Spec.update.go
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
213def Crc64Spec.update.go(reflected: Bool, poly: W.W64, c: W.W64, xs: List<&2, U32>) -> W.W64:
214 match reflected:
215 case True{}:
216 r64.raw(xs, reflect64(poly), c)
217 case False{}:
218 n64.raw(xs, poly, c)