Agda.Syntax.Position
type Position
type PositionWithoutFile
data Position' a
type SrcFile
type Interval
type IntervalWithoutFile
data Interval' a
type Range
data Range' a
data PrintRange a
class HasRange t
class SetRange t
class KillRange a
type KillRangeT a