You can search for identifiers within the package.
in-package search v0.2.0
val elim_quant : bool -> Term.term -> Term.term
val elim_less : Decl.decl -> Decl.decl list