Agda.Interaction.Highlighting.Range

data Range

rangeInvariant

overlapping

toList

getRanges

getRangesA

rToR

tests