Agda.Interaction.Highlighting.Generate
data
TypeCheckingState
generateSyntaxInfo
generateErrorInfo
tests