Plasma GitLab Archive
Projects Blog Knowledge

Class Netgzip.deflating_pipe

class deflating_pipe : ?level:int -> unit -> Netchannels.io_obj_channel

A deflating (compressing) pipe for gzip data, to be used in filters


This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml