Agda.Syntax.Parser.Lexer

The main function

Lex states

Alex generated functions

data AlexReturn a