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