Agda.TypeChecking.Monad.Trace
Trace
traceCall
traceCall_
traceCallCPS
traceCallCPS_
getTrace
setTrace
getCurrentRange
setCurrentRange
onTrace
withTrace