class lift_raw_out_channel : raw_out_channel -> out_obj_channel
raw_out_channel ->
out_obj_channel
compl_out_channel
raw_out_channel