Module Decompress_impl.WindowSource

Sourcetype '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;
}
Sourceval create : proof:'a B.t -> 'a t
Sourceval crc : 'a t -> Checkseum.Adler32.t
Sourceval reset : 'a t -> 'a t
Sourceval available_to_write : 'a t -> int
Sourceval drop : int -> 'a t -> 'a t
Sourceval move : int -> 'a t -> 'a t
Sourceval hack : ('a, 'i) Safe.t -> (Safe.read, 'i) Safe.t
Sourceval write : ([< `Read | `Write Read ], 'a) Safe.t -> int -> ([< `Read | `Write Write ], 'a) Safe.t -> int -> int -> 'a t -> 'a t
Sourceval write_char : char -> 'a t -> 'a t
Sourceval fill_char : char -> int -> 'a t -> 'a t
Sourceval sanitize : int -> 'a t -> int
Sourceval (%) : int -> 'a t -> int