Agda.Utils.Time
type
ClockTime
getClockTime
measureTime
data
CPUTime