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