Major Section: OTHER
Examples: (time$ (foo 3 4)) (time$ (mini-proveall)) (defun bar (x) (time$ (f x)))where
General Form: (time$ form)
formis processed as usual except that the host Common Lisp times its evaluation.
(time$ x) equals
x. However, its evaluation produces
timing output, via the
time utility in the host Common Lisp.
Note: In some Common Lisp implementations, for example OpenMCL, you may see
that the form being timed is a call of the ACL2 evaluator function
ev-rec. This is normal.