Module Decompress_impl.Window

type 'a t = {
  1. rpos : int;
  2. wpos : int;
  3. size : int;
  4. buffer : ([ Safe.ro | Safe.wo ], 'a) Safe.t;
  5. crc : Checkseum.Adler32.t;
  6. witness : 'a B.t;
}
val create : witness:'a Safe.B.t -> 'a t
val crc : 'a t -> Checkseum.Adler32.t
val reset : 'a t -> 'a t
val available_to_write : 'a t -> int
val drop : int -> 'a t -> 'a t
val move : int -> 'a t -> 'a t
val hack : ('a, 'i) Safe.t -> (Safe.ro, 'i) Safe.t
val write : ([< `Rd | `Wr Rd ], 'a) Safe.t -> int -> ([< `Rd | `Wr Wr ], 'a) Safe.t -> int -> int -> 'a t -> 'a t
val write_char : char -> 'a t -> 'a t
val fill_char : char -> int -> 'a t -> 'a t
val sanitize : int -> 'a t -> int
val (%) : int -> 'a t -> int