Agda.Utils.Time
type
ClockTime
getClockTime
getCPUTime
measureTime
data
CPUTime