You can search for identifiers within the package.
in-package search v0.2.0
io
IO
type ('i, 'o, 'r) node =
| Yield of 'o * ('i, 'o, 'r) node lazy_t
| Await of 'i -> ('i, 'o, 'r) node
| Ready of 'r
type 'r effect = (Elements.void, Elements.void, 'r) node
type ('o, 'r) producer = (Elements.void, 'o, 'r) node
type ('i, 'r) consumer = ('i, Elements.void, 'r) node
val return : 'a -> ('b, 'c, 'a) node
val (>>=) : ('a, 'b, 'c) node -> ('c -> ('a, 'b, 'd) node) -> ('a, 'b, 'd) node
val (>>) : ('a, 'b, 'c) node -> ('a, 'b, 'd) node Lazy.t -> ('a, 'b, 'd) node
val forever : ('a, 'b, 'c) node -> ('a, 'b, 'd) node
val replicate : int -> ('a, 'b, 'c) node -> ('a, 'b, unit) node
val empty : ('a, 'b, unit) node
val yield : 'a -> ('b, 'a, unit) node
val await : ('a, 'b, 'a) node
val id : ('a, 'a, 'b) node
val compose : ('a, 'b, 'c) node -> ('d, 'a, 'c) node -> ('d, 'b, 'c) node
val (<<<) : ('a, 'b, 'c) node -> ('d, 'a, 'c) node -> ('d, 'b, 'c) node
val (>>>) : ('a, 'b, 'c) node -> ('b, 'd, 'c) node -> ('a, 'd, 'c) node
val run : (Elements.void, 'a, 'b) node -> 'b
val next : ('a, 'b, 'c) node -> ('b * ('a, 'b, 'c) node) option
module Seq : sig ... end
module Test : sig ... end