decompress.impl
RFC1951_inflate.Dictionary
decompress
type t = {
idx : int;
prv : int;
max : int;
dictionary : int array;
}
val make : int -> t
val inflate : (int array * int * int) -> (int array -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res