package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

VSCoq language server

Install

Dune Dependency

github.com Readme Edit opam file Versions (14)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

vscoq-language-server-2.1.7.tar.gz

md5=81c195fcbe9b23c26db9704a0b8e37f8

sha512=9b175796b231e3663b1cdd546fde898c1d19a6a4eb16671970797045e0e29acc008630634f0d15fa34a94ccc14a0c16d3851efbf0b74f3e1ac6ada1f1461f7e1

doc/vscoq-language-server.dm/Dm/DocumentManager/Internal/index.html

Module `DocumentManager.Internal`Source

Sourceval document : state -> Document.document

Sourceval raw_document : state -> RawDocument.t

Sourceval execution_state : state -> ExecutionManager.state

Sourceval string_of_state : state -> string

Sourceval observe_id : state -> Types.sentence_id option

Sourceval validate_document : state -> state

validate_document doc reparses the text of doc and invalidates the states impacted by the diff with the previously validated content. If the text of doc has not changed since the last call to validate_document, it has no effect.