class output_gzip : Gzip.out_channel -> Netchannels.out_obj_channel
Gzip.out_channel ->
Netchannels.out_obj_channel
A Gzip.out_channel turned into a Netchannels.out_obj_channel
Gzip.out_channel