Agda.Utils.Time

type ClockTime

getClockTime

measureTime

data CPUTime