Agda.Syntax.Parser.Lexer
lexer
normal
code
layout
empty_layout
bol
imp_dir
data AlexReturn a
alexScanUser