Agda.TypeChecking.Monad.Base.Benchmark

data Phase

type Account

data Benchmark

modifyCurrentAccount

modifyTimings

empty

addCPUTime