Agda.TypeChecking.Monad.Trace

Trace

interestingCall

traceCall

traceCall_

traceCallCPS

traceCallCPS_

getCurrentRange

setCurrentRange