You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.parsing
G_prim
val test_pipe_closedcurly : unit Procq.Entry.t
val test_minus_nat : unit Procq.Entry.t