package decompress

  1. Overview
  2. Docs
type 'a t = {
  1. rpos : int;
  2. wpos : int;
  3. size : int;
  4. buffer : ([ Safe.read | Safe.write ], 'a) Safe.t;
  5. crc : Checkseum.Adler32.t;
}
val create : proof:'a B.t -> 'b t
val crc : 'a t -> Checkseum.Adler32.t
val reset : 'a t -> 'b t
val available_to_write : 'a t -> int
val drop : int -> 'a t -> 'b t
val move : int -> 'a t -> 'b t
val hack : ('a, 'i) Safe.t -> (Safe.read, 'i) Safe.t
val write : ([< `Read | `Write Read ], 'a) Safe.t -> int -> ([< `Read | `Write Write ], 'a) Safe.t -> int -> int -> 'b t -> 'c t
val write_char : char -> 'a t -> 'b t
val fill_char : char -> int -> 'a t -> 'b t
val sanitize : int -> 'a t -> int
val (%) : int -> 'a t -> int