package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

VSCoq language server

Install

md5=8bc848aaf2ad0fe41a02741e633ad7e3

sha512=eb6c80a3290b1d688ea3b94a3087f204c9f9f03bddd95b21952b02af1dc4de073c1b99baed5a5f6a395e69a27c0d45f6ec181488da62e9f5c6a77d91d752dd5c

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