coq

Formal proof management system
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library coqide-server.protocol
Module Xml_lexer
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