Module Expect_test_helpers_kernel.Expect_test_config

We export Expect_test_config to override Expect_test_config.run f so that, if f () raises, run prints the exception rather than raising. Printing works better with the expect-test workflow than an unhandled exception, because there is a .corrected file that one can accept and inspect.

module IO : sig ... end with type 'a t = 'a

IO monad

val flush : unit ‑> unit IO.t

Flush whatever need to be to get pending output out on file descriptor 0.

val run : (unit ‑> unit IO.t) ‑> unit

Run an IO operation until completion

val flushed : unit ‑> bool

Synchronous check that there is no pending output on file description 0. With async, there is no guarantee that on the rhs of a IO.bind (flush ()) ... the output is completely flushed, that's why we need this.