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