You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serapi_v8_14
Serapi_protocol.QueryUtil
val info_of_id : Environ.env -> string -> coq_object list * coq_object list