links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Lexer
type lexer_context

The context used by the lexer

val fresh_context : unit -> lexer_context

Create a new lexing context

exception LexicalError of string * Lexing.position

An unexpected character was encountered in the lexing buffer.

val keywords : (string * Parser.token) list

Links language keywords

val lexer : lexer_context -> newline_hook:( unit -> unit ) -> Lexing.lexbuf -> Parser.token

The entry point to the lexer.