You can search for identifiers within the package.
in-package search v0.2.0
core_kernel.univ
Univ.View
type t =
| T : 'a Core_kernel.Type_equal.Id.t * 'a -> t