Agda.Utils.Time

type ClockTime

getClockTime

getCPUTime

measureTime

data CPUTime