package zipc

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Checksums
Computing

package zipc

zipc
- Zipc
  - File
  - Fpath
  - Member
  - Ptime
- Zipc_deflate
  - Adler_32
  - Crc_32

Legend:
Library
Module
Module type
Parameter
Class
Class type

ZIP CRC-32 checksums.

Checksums

type t = uint32

The type for ZIP CRC-32 checksums (polynomial 0xedb88320).

val equal : t -> t -> bool

equal c0 c1 is true iff c0 and c1 are equal.

val check : expect:t -> found:t -> (unit, string) result

check ~expect ~found is Ok () iff equal exp found is true otherwise it errors with a human error message that mentions the checksums.

val pp : Format.formatter -> t -> unit

pp formats a checksum.

Computing

val string : ?start:int -> ?len:int -> string -> t

string s is the CRC-32 checksum of s in the range [start;start+len-1]. start defaults to 0 and len defaults to String.length s - start.