Module Decompress_impl.L

module Safe : sig ... end
module Seq : sig ... end
module Hunk : sig ... end
module B : sig ... end
val pf : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
val repeat : char -> int64
type error =
  1. | Invalid_level of int
  2. | Invalid_wbits of int
val pp_error : Format.formatter -> error -> unit
exception Match of int * int
exception Literal of char
exception Break
type 'i t = {
  1. i_off : int;
  2. i_pos : int;
  3. i_len : int;
  4. level : int;
  5. on : Hunk.t -> unit;
  6. state : 'i state;
  7. witness : 'i B.t;
}
and 'i state =
  1. | Deflate of int
  2. | Deffast of int
  3. | Choose of int
  4. | Exception of error
and 'i res =
  1. | Cont of 'i t
  2. | Wait of 'i t * Hunk.t Seq.t
  3. | Error of 'i t * error
val pp_state : Format.formatter -> 'a state -> unit
val pp : Format.formatter -> 'a t -> unit
val await : 'i t -> Hunk.t Seq.t -> 'i res
val error : 'i t -> error -> 'i res
val _max_distance : int
val _max_length : int
val _size_of_int64 : int
val _idx_boundary : int
type key = int32 option
val key : 'a Safe.B.t -> ([< `Rd | `Wr Rd ], 'a) Safe.t -> int -> int -> key
module T : sig ... end
val longuest_substring : 'a Safe.B.t -> ([< `Rd | `Wr Rd ], 'a) Safe.t -> int -> int -> int -> int option
val deflate : ?max_fardistance:int -> ([< `Rd | `Wr Rd ], 'a) Safe.t -> 'a t -> Hunk.t Seq.t
val _hlog : int array
val deffast : 'a. ?accel:int -> ?max_fardistance:int -> (Safe.ro, 'a) Safe.t -> 'a t -> Hunk.t Seq.t
val eval : (Safe.ro, 'a) Safe.t -> 'a t -> [> `Await of 'a t * Hunk.t Seq.t | `Error of 'a t * error ]
val refill : int -> int -> 'a t -> 'a t
val used_in : 'a t -> int
val default : witness:'a B.t -> ?level:int -> ?on:(Hunk.t -> unit) -> int -> 'a t