You can search for identifiers within the package.
in-package search v0.2.0
odoc.examples
Functor.Y
type a
This type a is declared in the Argument module type
a