You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.vernac
Vernactypes.OpaqueAccess
type _ t =
| Ignore : unit t
| Access : Global.indirect_accessor t