def crc32c.spec
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
247# CRC-32C (Castagnoli): poly 0x1EDC6F41
248def crc32c.spec() -> Crc32Spec:
249 Crc32Spec{32n, 517762881, 4294967295, True{}, 4294967295}
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
247# CRC-32C (Castagnoli): poly 0x1EDC6F41
248def crc32c.spec() -> Crc32Spec:
249 Crc32Spec{32n, 517762881, 4294967295, True{}, 4294967295}