Agda.Interaction.Highlighting.Precise
data Aspect
data NameKind
data OtherAspect
data MetaInfo
data File
type HighlightingInfo
singleton
several
smallestPos
toMap
type CompressedFile
compress
decompress
tests