package vscoq-language-server

  1. Overview
  2. Docs

Module DocumentManager.InternalSource

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.

OCaml

Innovation. Community. Security.