Plasma GitLab Archive
Projects Blog Knowledge

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