Commits

Anonymous committed 72940f6

IO: + flush

Comments (0)

Files changed (1)

     type output_channel = Lwt_io.output_channel;
     value stdout : output_channel;
     value write : output_channel -> string -> m unit;
+    value flush : output_channel -> m unit;
 
     type input_channel = Lwt_io.input_channel;
     value open_in : string -> m input_channel;
       Lwt_io.with_file ~mode:Lwt_io.output filename func
     ;
 
+    value flush = Lwt_io.flush
+    ;
+
   end
 ;