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