Commits

Anonymous committed e0f1655

.

  • Participants
  • Parent commits 2554b68

Comments (0)

Files changed (1)

 value with_file_out_bin filename func =
   Lwt_io.with_file ~mode:Lwt_io.output filename func
 ;
+
+(********************************************************)
+
+value stdin = Lwt_io.stdin;
+
+value printf fmt = Printf.ksprintf (write stdout) fmt;
+
+value flush = Lwt_io.flush;
+
+value close_out = Lwt_io.close;