Agda.Interaction.Highlighting.Generate
data Level
generateAndPrintSyntaxInfo
generateTokenInfo
printErrorInfo
printUnsolvedInfo
printHighlightingInfo
highlightAsTypeChecked
tests