def crc64_ecma.spec

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

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

263# CRC-64/ECMA-182: poly 0x42F0E1EBA9EA3693, most significant bit first
264def crc64_ecma.spec() -> Crc64Spec:
265  Crc64Spec{W.W64.from_parts(1123082731, 2850698899), W.W64.zero(), False{}, W.W64.zero()}