class deflating_pipe : ?level:int -> unit -> Netchannels.io_obj_channel
?level:int -> unit ->
Netchannels.io_obj_channel
A deflating (compressing) pipe for gzip data, to be used in filters