Plasma GitLab Archive
Projects Blog Knowledge

Previous  Up  Next

Class Netgzip.output_gzip

class output_gzip : Gzip.out_channel -> Netchannels.out_obj_channel
A Gzip.out_channel turned into a Netchannels.out_obj_channel
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml