You can search for identifiers within the package.
in-package search v0.2.0
type v
type result
val error : string -> 'a
val computation : v Env.t -> v t -> Ir.computation -> result
val finish : v Env.t -> v -> result
val reify : v resumption -> v