package pcrc

  1. Overview
  2. Docs

Module Pcrc.CRC64Source

Sourcetype t = int64
Sourcemodule type Params = Params with type t := t
Sourcemodule Make (_ : Params) : S with type t = t

Create CRC-64 implementation module from one of the parameter modules below.

CRC-64 Algorithms

ECMA standard ECMA-182 (December 1992) — ISO/IEC 13421:1993. Also known as: CRC-64.

ISO 3309 (HDLC), Swiss-Prot/TrEMBL.

Microsoft Corporation (25 June 2021), File Classification Infrastructure Alternate Data Stream (ADS) File Format.

NVM Express, Inc. (28 December 2023), NVM Express NVM Command Set Specification, Revision 1.0d.

Matt Stancliff et al. (16 November 2021), Redis module redis/src/crc64.c.

Sourcemodule XZ : Params

AUTOSAR (24 November 2022), AUTOSAR Classic Platform release R22-11, Specification of CRC Routines. Lasse Collin, Igor Pavlov et al. (27 August 2009), The .xz file format, version 1.0.4.