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