Agda.Interaction.Highlighting.Range
data
Range
rangeInvariant
overlapping
toList
getRanges
getRangesA
rToR
tests