Agda.Syntax.Position

Positions

data Position

Intervals

data Interval

Ranges

data Range
class HasRange t
class SetRange t
class KillRange a

Tests