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