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.4.tar.gz

md5=a7d0911ab8c12221c5fecc73ecc67d1b

sha512=194b144b3bac35f3ef7d1b92715b7260267817c01b1855113799c6055b1510aa18dbeb03ceced0bcaf9e5d92f6c1aca2c21d858bef53ec5b0d6c12cf73860664

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.