Plasma GitLab Archive
Projects Blog Knowledge

 Up  Next

Class Ftp_data_endpoint.write_out_record_channel


class write_out_record_channel : repr:text_data_repr -> Netchannels.out_obj_channel -> out_record_channel
Provides an out_record_channel that represents EOR as newline character.


repr : Determines the newline character to use
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml