Agda.Utils.Time

type ClockTime

getClockTime