You can search for identifiers within the package.
in-package search v0.2.0
core.univ_map
Univ_map.Packed
type 's t1 =
| T : 'a Type_id_key.t * 'a data -> 's t1
type t = Base.unit t1