def crc32.spec
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
251# CRC-32 (ISO-HDLC, as zlib and Ethernet): poly 0x04C11DB7
252def crc32.spec() -> Crc32Spec:
253 Crc32Spec{32n, 79764919, 4294967295, True{}, 4294967295}
import bend-osdev-crc@0.1.0.0/crc.bend as Crcimport Base
251# CRC-32 (ISO-HDLC, as zlib and Ethernet): poly 0x04C11DB7
252def crc32.spec() -> Crc32Spec:
253 Crc32Spec{32n, 79764919, 4294967295, True{}, 4294967295}