You can search for identifiers within the package.
in-package search v0.2.0
vscoq-language-server.dm
Dm.PriorityManager
val lsp_message : int
val feedback : int
val launch_parsing : int
val parsing : int
val execution : int
val proof_view : int
val move_cursor : int