You can search for identifiers within the package.
in-package search v0.2.0
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
message.ml
1 2 3 4 (** Messages from Coq *) type t = Loc.t option * int * Pp.t type coq = Feedback.feedback
1 2 3 4
(** Messages from Coq *) type t = Loc.t option * int * Pp.t type coq = Feedback.feedback