You can search for identifiers within the package.
in-package search v0.2.0
vscoq-language-server.lsp
Completion.RankingAlgoritm
type t =
| SplitTypeIntersection
| StructuredSplitUnification
val yojson_of_t : t -> [> `Int of int ]
val t_of_yojson : [> `Int of int ] -> t