Agda.TypeChecking.Monad.Base.KillRange

KillRange on CompiledClause

KillRange on standard data types and Utils

killRangeMap