Agda.TypeChecking.Monad.Statistics
tick
tickN
tickMax
getStatistics
modifyStatistics
printStatistics