module type Decompressor =Common interface for decompressing (i.e., inflating) data.sig
..end
val uncompress : IO.input -> IO.input
Operations performed on the returned channel can raise, in
addition to their usual exceptions,
Codec.Compression_error
.
val open_in : ?mode:File.open_in_flag list ->
?perm:File.permission -> string -> IO.input
File.open_in
val with_in : IO.input -> (IO.input -> 'a) -> 'a
with_in input f
creates a new input input'
which will
transparently decompress data from input
, then invokes f
input'
to process that new input. Once f
has returned or
triggered an exception, the input'
is closed before
proceeding.