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