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