Class Netgzip.inflating_pipe

class inflating_pipe : unit -> Netchannels.io_obj_channel

An inflating (uncompressing) pipe for gzip data, to be used in filters