module Buffer : sig ... endmodule Hunk : sig ... endHunk definition.
module Lz77 : sig ... endLz77 algorithm.
module type DEFLATE = sig ... endDeflate algorithm.
module Deflate : DEFLATE with type error = error_deflatemodule Window : sig ... endWindow used by the Inflate algorithm.
module type INFLATE = sig ... endInflate algorithm.
type error_inflate = | Invalid_kind_of_block | ||
| Invalid_complement_of_length | ||
| Invalid_dictionary | ||
| Invalid_distance_code | ||
| Invalid_distance of {
} |
module Inflate : INFLATE with type error = error_inflate and type crc = Window.none