Plasma
GitLab
Archive
Projects
Blog
Knowledge
Location:
Projects
Contents:
PXP
Wdialog
Wtimer
Ocamlnet
Cryptgps
Xstrp4
Plasma
Xstr
OMake
Findlib Browser
WebDAV
Cache
Db2man
Netamqp
Findlib
Hydro
Starting Points:
Projects
Blog
Knowledge
Archive
GitLab
Special:
Download directory
Help
Contact and Privacy
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