You can search for identifiers within the package.
in-package search v0.2.0
type ty_vertex = ty_vertex_content ref
and ty_vertex_content =
| Link of ty_vertex
| Root of int * bool * ty_g_node
and ty_g_node =
| TyVvar of Ty.tvsymbol
| TyVapp of Ty.tysymbol * ty_vertex list
val create : Ty.ty -> ty_vertex
val find : ty_vertex -> ty_vertex
val unify : ty_vertex -> ty_vertex -> unit
val collect : 'a Ty.Mtv.t -> ty_vertex Ty.Mtv.t -> Ty.ty -> ty_vertex -> ty_vertex Ty.Mtv.t