You can search for identifiers within the package.
in-package search v0.2.0
coq-core.vernac
DeclareInd.Internal
type inductive_obj
val objInductive : (Names.Id.t * inductive_obj) Libobject.Dyn.tag