You can search for identifiers within the package.
in-package search v0.2.0
vscoq-language-server.dm
ParTactic.TacticWorkerProcess
type options
val parse_options : string list -> options * string list
val main : st:Vernacstate.t -> options -> unit
val log : string -> unit