Agda.Interaction.Highlighting.Generate
data Level
generateAndPrintSyntaxInfo
generateTokenInfo
generateTokenInfoFromString
printErrorInfo
errorHighlighting
printUnsolvedInfo
printHighlightingInfo
highlightAsTypeChecked
computeUnsolvedMetaWarnings
computeUnsolvedConstraints
storeDisambiguatedName
tests