Agda.TypeChecking.Monad.Statistics

tick

tickN

tickMax

getStatistics

modifyStatistics

printStatistics