Agda.TypeChecking.Monad.Statistics

tick

getStatistics