module Agda.Syntax.Position where

class KillRange a