links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . XmlLexer
class lexer_context : object ... end
val fresh_context : unit -> lexer_context
val bump_lines : Lexing.lexbuf -> int -> unit
val count_newlines : string -> int
exception LexicalError of string * Lexing.position
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val lex : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> XmlParser.token
val __ocaml_lex_lex_rec : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> int -> XmlParser.token
val starttag : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> XmlParser.token
val __ocaml_lex_starttag_rec : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> int -> XmlParser.token
val xmllex : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> XmlParser.token
val __ocaml_lex_xmllex_rec : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> int -> XmlParser.token
val attrlex : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> XmlParser.token
val __ocaml_lex_attrlex_rec : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> int -> XmlParser.token
val ignore : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> XmlParser.token
val __ocaml_lex_ignore_rec : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> int -> XmlParser.token
val cdata : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> XmlParser.token
val __ocaml_lex_cdata_rec : < pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> ( unit -> unit ) -> Lexing.lexbuf -> int -> XmlParser.token
val lexer : < next_lexer : 'a -> 'b ; pop_lexer : unit ; push_lexer : ( Lexing.lexbuf -> XmlParser.token ) -> unit.. > -> newline_hook:( unit -> unit ) -> 'c -> 'd