include Expect_test_config_types.S with type 'a IO_flush.t = 'a with type 'a IO_run.t = 'a
val flush : unit -> unit IO_flush.t
Flush whatever need to be to get pending output out on file descriptor 0.
val run : (unit -> unit IO_run.t) -> unit
Run an IO operation until completion