You can search for identifiers within the package.
in-package search v0.2.0
vsrocq-language-server.dm
Dm.ParTactic
module TacticWorkerProcess : sig ... end
val set_id_for_feedback : Feedback.route_id -> Types.sentence_id -> unit