Module Impl.Decompress_windowSource

Sourcemodule Buffer = Decompress_buffer
Sourcemodule Safe = Decompress_safe
Sourcetype ('a, 'crc) t = {
  1. rpos : int;
  2. wpos : int;
  3. size : int;
  4. buffer : ([ Safe.ro | Safe.wo ], 'a) Safe.t;
  5. crc : Optint.t;
  6. crc_witness : 'crc checksum;
  7. buffer_witness : 'a Buffer.t;
}
Sourceand 'crc checksum =
  1. | Adler32 : adler32 checksum
  2. | Crc32 : crc32 checksum
  3. | None : none checksum
Sourceand adler32 =
  1. | A
Sourceand crc32 =
  1. | B
Sourceand none =
  1. | C
Sourceval adler32 : adler32 checksum
Sourceval crc32 : crc32 checksum
Sourceval none : none checksum
Sourcemodule Crc : sig ... end
Sourceval create : crc:'a Crc.t -> witness:'b Safe.Buffer.t -> ('b, 'a) t
Sourceval crc : ('a, 'b) t -> Optint.t
Sourceval reset : ('a, 'b) t -> ('a, 'b) t
Sourceval available_to_write : ('a, 'b) t -> int
Sourceval drop : int -> ('a, 'b) t -> ('a, 'b) t
Sourceval move : int -> ('a, 'b) t -> ('a, 'b) t
Sourceval hack : ('a, 'i) Safe.t -> (Safe.ro, 'i) Safe.t
Sourceval write : ([< `Rd | `Wr Rd ], 'a) Safe.t -> int -> ([< `Rd | `Wr Wr ], 'a) Safe.t -> int -> int -> ('a, 'b) t -> ('a, 'b) t
Sourceval write_char : char -> ('a, 'b) t -> ('a, 'b) t
Sourceval fill_char : char -> int -> ('a, 'b) t -> ('a, 'b) t
Sourceval sanitize : int -> ('a, 'b) t -> int
Sourceval (%) : int -> ('a, 'b) t -> int