def crc64_xz.spec
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
267# CRC-64/XZ: the same polynomial, reflected, as the XZ format's check
268def crc64_xz.spec() -> Crc64Spec:
269 Crc64Spec{W.W64.from_parts(1123082731, 2850698899), W.W64.max(), True{}, W.W64.max()}