package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

vscoq-language-server.dm
- Dm
vscoq-language-server.language
- Language
  - Hover
vscoq-language-server.lsp
- Protocol

Legend:
Library
Module
Module type
Parameter
Class
Class type

val document : state -> Document.document

val raw_document : state -> RawDocument.t

val execution_state : state -> ExecutionManager.state

val string_of_state : state -> string

val observe_id : state -> Types.sentence_id option

val 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.