···66(** {1 Hardware acceleration} *)
7788val has_hardware_crc : bool
99-(** [has_hardware_crc] is [true] if the CPU supports hardware CRC instructions (SSE4.2 on x86_64, CRC
1010- extensions on ARM). When [true], CRC-32C uses hardware intrinsics and CRC-32
1111- uses hardware on ARM (software slicing-by-8 on x86_64). *)
99+(** [has_hardware_crc] is [true] if the CPU supports hardware CRC instructions
1010+ (SSE4.2 on x86_64, CRC extensions on ARM). When [true], CRC-32C uses
1111+ hardware intrinsics and CRC-32 uses hardware on ARM (software slicing-by-8
1212+ on x86_64). *)
12131314(** {1 CRC-16} *)
1415