Agda.TypeChecking.Monad.Trace

Trace

interestingCall

traceCallM

traceCall

traceCallCPS

traceCallCPS_

getCurrentRange

setCurrentRange