Agda.TypeChecking.Monad.Trace
interestingCall
traceCallM
traceCall
traceCallCPS
traceCallCPS_
getCurrentRange
setCurrentRange