You can search for identifiers within the package.
in-package search v0.2.0
module IO : sig ... end
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.
IO.bind (flush ()) ...