vsrocq-language-server.dm
CompletionItems.BuiltinIndices
vsrocq-language-server.language
vsrocq-language-server.lsp
type t = {
commands : builtin_index;
}
val load_builtin_index : builtin_item_kind -> string -> builtin_index
val v : t