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