You can search for identifiers within the package.
in-package search v0.2.0
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
Protect.R
type 'a t =
| Completed of ('a, Loc.t option * Pp.t) result
| Interrupted