You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.parsing
G_constr
val test_lpar_id_coloneq : unit Procq.Entry.t
val test_lpar_nat_coloneq : unit Procq.Entry.t
val ensure_fixannot : unit Procq.Entry.t
val test_name_colon : unit Procq.Entry.t
val test_array_opening : unit Procq.Entry.t
val test_array_closing : unit Procq.Entry.t
val warn_old_sort_syntax : ?loc:Loc.t -> unit -> unit