You can search for identifiers within the package.
in-package search v0.2.0
coq-core.library
MakeStringTable.A
val key : option_name
val title : string
val member_message : string -> bool -> Pp.t