You can search for identifiers within the package.
in-package search v0.2.0
kappa-library.generic
Proj2.C
type elt
module Set : Set with type elt = elt
module Map : Map with type elt = elt and type set = Set.t