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