You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.vernac
G_obligations
val wit_withtac : Gentactic.raw_generic_tactic option Genarg.vernac_genarg_type
val withtac : Gentactic.raw_generic_tactic option Procq.Entry.t