You can search for identifiers within the package.
in-package search v0.2.0
type 'a x = 'a X.x
type 'a y = 'a Y.x
val map : 'a x -> 'a y