package decompress

  1. Overview
  2. Docs

Window used by the Inflate algorithm.

A functionnal implementation of window to use with the inflate algorithm. After one process, you can reset and reuse the window for a new process. This API is available to limit the allocation by Decompress.

type 'o t

The Window specialized by 'o (see B.st and B.bs).

val create : witness:'o B.t -> 'o t

create ~proof creates a new window.

val reset : 'o t -> 'o t

reset window resets a window to be reused by an Inflate algorithm.

val crc : 'o t -> Checkseum.Adler32.t

crc window returns the checksum computed by the window.

OCaml

Innovation. Community. Security.