You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.library
Nametab.StateInfo
Necessary data to declare the imperative state for a nametab.
val stage : Summary.Stage.t
val summary_name : string