Agda.TypeChecking.Monad.Base.Benchmark
data Phase
type Account
type CPUTime
type Benchmark
empty
addCPUTime