time a form
Major Section:  OTHER

(time$ (foo 3 4))
(time$ (mini-proveall))
(defun bar (x) (time$ (f x)))

General Form: (time$ form)

where form is processed as usual except that the host Common Lisp times its evaluation.

Semantically, (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.