package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type error =
  1. | EUnterminatedComment
  2. | EUnterminatedString
  3. | EIdentExpected
  4. | ECloseExpected
  5. | ENodeExpected
  6. | EAttributeNameExpected
  7. | EAttributeValueExpected
  8. | EUnterminatedEntity
exception Error of error
type token =
  1. | Tag of string * (string * string) list * bool
  2. | PCData of string
  3. | Endtag of string
  4. | 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