Up – Package index » vscoq-language-server » Library vscoq-language-server.dm » Dm » DocumentManager » Internal

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

val inject_doc_events : 
  Document.event Sel.Event.t list ->
  event Sel.Event.t list

Sourceval validate_document : state -> Document.parsing_end_info -> state