You can search for identifiers within the package.
in-package search v0.2.0
coq-core.vernac
ComHints
val interp_hints : poly:bool -> Vernacexpr.hints_expr -> Hints.hints_entry