Plasma GitLab Archive
Projects Blog Knowledge

Class Netftp_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