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.
Go to main index.
Go to concepts index.