links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . XmlLexer
method push_lexer : lexer_context -> ( Lexing.lexbuf -> Links_core.XmlParser.token ) -> unit
method pop_lexer : 'a -> unit
method next_lexer : 'a -> Lexing.lexbuf -> Links_core.XmlParser.token