package coqide-server

You can search for identifiers within the package.

in-package search v0.2.0

package coqide-server

coqide-server.core
- Document
  - signals
coqide-server.protocol
- Richpp
- Serialize
- Xml_lexer
- Xml_parser
- Xml_printer
- Xmlprotocol

Legend:
Library
Module
Module type
Parameter
Class
Class type

type error =

| EUnterminatedComment
| EUnterminatedString
| EIdentExpected
| ECloseExpected
| ENodeExpected
| EAttributeNameExpected
| EAttributeValueExpected
| EUnterminatedEntity

exception Error of error

type token =

| Tag of string * (string * string) list * bool
| PCData of string
| Endtag of string
| Eof

type pos = int * int * int * int

val init : Lexing.lexbuf -> unit

val close : unit -> unit

val token : Lexing.lexbuf -> token

val pos : Lexing.lexbuf -> pos

val restore : pos -> unit