You can search for identifiers within the package.
in-package search v0.2.0
val eliminate_inductive : Task.task Trans.trans
val exi : Term.term list -> ('a * Term.term) -> Term.term