You can search for identifiers within the package.
in-package search v0.2.0
coq-core.parsing
Pcoq.Module
val module_expr : Constrexpr.module_ast Entry.t
val module_type : Constrexpr.module_ast Entry.t