Time
Time
-- is the class of all timing results. Each timing result is a
BasicList
of the form
{t,v}
, where
t
is the number of seconds of cpu time used, and
v
is the value of the the expression.
See also
timing
.
