time(a) {a (a, float) :: (a in any)} The expression TIME(exp) returns a pair whose first element is the value of the expression exp and whose second element is the time in seconds taken to execute the expression exp.