You can search for identifiers within the package.
in-package search v0.2.0
type ('a, 'b) t
val return : 'a -> ('a, 'b) t
val raise : 'b -> ('a, 'b) t
val bind : ('a, 'b) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t
val (>>=) : ('a, 'b) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t
val run : return:('a -> unit) -> raise:('b -> unit) -> ('a, 'b) t -> unit
val catch : ('a, 'b) t -> ('b -> ('a, 'c) t) -> ('a, 'c) t
val (=<<) : ('b -> ('a, 'c) t) -> ('a, 'b) t -> ('a, 'c) t
val fold_left : ('a -> 'b -> ('a, 'c) t) -> 'a -> 'b list -> ('a, 'c) t
val iter : ('a -> (unit, 'b) t) -> 'a list -> (unit, 'b) t
module Mutex : sig ... end
module Condition : sig ... end
module type Monad_io_t = sig ... end
module MakeIo (Io : Io_t) : sig ... end
module Io : sig ... end