Previous
Up
Next
Class
Netgzip.inflating_pipe
class
inflating_pipe
:
unit ->
Netchannels.io_obj_channel
An inflating (uncompressing) pipe for gzip data, to be used in filters