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