KInflate (p.decompress.0.9.1.doc.decompress.impl.Impl.Decompress

Sourceval ctor : ('a, 'b, 'c) k -> ('a, 'b, 'c) state

val peek_bits : 
  int ->
  ((Safe.ro, 'a) Safe.t ->
    (Safe.wo, 'b) Safe.t ->
    ('a, 'b, 'c) t ->
    ('a, 'b, 'c) res) ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) res

Source

val put_byte : 
  int ->
  ((Safe.ro, 'a) Safe.t ->
    (Safe.wo, 'b) Safe.t ->
    ('a, 'b, 'c) t ->
    ('a, 'b, 'c) res) ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) res

Source

val fill_byte : 
  int ->
  int ->
  ((Safe.ro, 'a) Safe.t ->
    (Safe.wo, 'b) Safe.t ->
    ('a, 'b, 'c) t ->
    ('a, 'b, 'c) res) ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) res

Source

val get : 
  Lookup.t ->
  (int ->
    (Safe.ro, 'a) Safe.t ->
    (Safe.wo, 'b) Safe.t ->
    ('a, 'b, 'c) t ->
    ('a, 'b, 'c) res) ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) res

Source

val put : 
  Lookup.t ->
  Lookup.t ->
  int ->
  int ->
  ((Safe.ro, 'a) Safe.t ->
    (Safe.wo, 'b) Safe.t ->
    ('a, 'b, 'c) t ->
    ('a, 'b, 'c) res) ->
  ('a, 'b, 'c) k

Source

val read_extra_dist : 
  int ->
  (int ->
    (Safe.ro, 'a) Safe.t ->
    (Safe.wo, 'b) Safe.t ->
    ('a, 'b, 'c) t ->
    ('a, 'b, 'c) res) ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) res

Source

val read_extra_length : 
  int ->
  (int ->
    (Safe.ro, 'a) Safe.t ->
    (Safe.wo, 'b) Safe.t ->
    ('a, 'b, 'c) t ->
    ('a, 'b, 'c) res) ->
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) res