You can search for identifiers within the package.
in-package search v0.2.0
type t = {
x : int;
y : int;
}
val of_jv : Jv.t -> t
of_jv jv is jv as t
of_jv jv
jv
t