class output_gzip : Gzip.out_channel -> Netchannels.out_obj_channel
Gzip.out_channel ->
Netchannels.out_obj_channel
Gzip.out_channel