You can search for identifiers within the package.
in-package search v0.2.0
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
Interp.Info
type 'a t = {
res : 'a;
feedback : Message.t list;
}