def Crc64Spec.start.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
225def Crc64Spec.start.go(reflected: Bool, init: W.W64) -> W.W64:
226 match reflected:
227 case True{}:
228 reflect64(init)
229 case False{}:
230 init