links

The Links Programming Language
IN THIS PACKAGE
Parameter #1 Links_core . Scanner . Scanner . Lex
type token
type lexer_context
type 'a grammar = ( Lexing.lexbuf -> token ) -> Lexing.lexbuf -> 'a
val lexer : lexer_context -> newline_hook:( unit -> unit ) -> Lexing.lexbuf -> token
val fresh_context : unit -> lexer_context