Class Netgzip.inflating_pipe

class inflating_pipe : unit -> Netchannels.io_obj_channel

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

This web site is published by Informatikbüro Gerd Stolpmann

Plasma	GitLab	Archive
Projects	Blog	Knowledge