Commits

Anonymous committed 9a8aae6

+ IO_Lwt.write_from

  • Participants
  • Parent commits 7a6958d

Comments (0)

Files changed (1)

 type output_channel = Lwt_io.output_channel;
 value stdout = Lwt_io.stdout;
 value write = wrap2 "write" Lwt_io.write;
+value write_from = wrap4 "write_from" Lwt_io.write_from;
 
 type input_channel = Lwt_io.input_channel;