Agda.Syntax.Parser.Tokens
data
Token
data
Keyword
layoutKeywords
data
Symbol