Agda.Interaction.Highlighting.Precise
data Aspect
data NameKind
data OtherAspect
data Aspects
data DefinitionSite
data File
type HighlightingInfo
singleton
several
merge
smallestPos
toMap
data CompressedFile
compressedFileInvariant
compress
decompress
noHighlightingInRange
singletonC
severalC
splitAtC
selectC
smallestPosC
mergeC