You can search for identifiers within the package.
in-package search v0.2.0
coq-core.vernac
DebugHook.Answer
type t =
| Prompt of Pp.t
| Goal of Pp.t
| Output of Pp.t
| Init
| Stack of (string * (string * int list) option) list
| Vars of (string * Pp.t) list