package vsrocq-language-server

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

VSRocq language server

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (7)

Authors

E

Enrico Tassi
M

Maxime Dénès
R

Romain Tetley

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vsrocq-language-server-2.4.1.tar.gz

md5=86c43adac61349acb97dc2fe75a69b25

sha512=91dcbc400d6f27faa28091fbc2ff02e04990814ab6a4f1133ee14c38b57008ee31775d98085faffed2e6dc29f9b38369f533186a13b7e351a3748a738df601cc

doc/vsrocq-language-server.dm/Dm/SearchQuery/index.html

Module `Dm.SearchQuery`Source

Sourceval query_feedback : Protocol.LspWrapper.notification Sel.Event.t

Source

val interp_search : 
  id:string ->
  Environ.env ->
  Evd.evar_map ->
  (bool * Vernacexpr.search_request) list ->
  Libnames.qualid list Vernacexpr.search_restriction ->
  Protocol.LspWrapper.notification Sel.Event.t list