You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.export
Coq.Qid
type t = Core.Term.qident
val compare : 'a -> 'a -> int