package coqide-server

  1. Overview
  2. Docs
The Rocq Prover, XML protocol server

Install 

dune-project
 Dependency

rocq-prover.org Readme Edit opam file Versions (12)

Authors

  1. T
    The Rocq development team, INRIA, CNRS, and contributors

Maintainers

  1. T
    The Rocq development team <rocq+rocq-development@discoursemail.com>

Sources

rocq-9.1.1.tar.gz
sha256=35cd03fc4193969b1cce01190340e5c129c1ba8f02242a9e6dff4b83be118759

doc/coqide-server.protocol/Xml_lexer/index.html

Module Xml_lexerSource

Sourcetype error =
  1. | EUnterminatedComment
  2. | EUnterminatedString
  3. | EIdentExpected
  4. | ECloseExpected
  5. | ENodeExpected
  6. | EAttributeNameExpected
  7. | EAttributeValueExpected
  8. | EUnterminatedEntity
Sourceexception Error of error
Sourcetype token =
  1. | Tag of string * (string * string) list * bool
  2. | PCData of string
  3. | Endtag of string
  4. | Eof
Sourcetype pos = int * int * int * int
Sourceval init : Lexing.lexbuf -> unit
Sourceval close : unit -> unit
Sourceval token : Lexing.lexbuf -> token
Sourceval restore : pos -> unit