Module Decompress.WindowSource

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.

Sourcetype 'o t

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

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

create ~proof creates a new window.

Sourceval reset : 'o t -> 'o t

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

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

crc window returns the checksum computed by the window.