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