Agda.Interaction.Highlighting.Range
data Range
rangeInvariant
data Ranges
rangesInvariant
overlapping
empty
rangeToPositions
rangesToPositions
rToR
minus
tests