		Search-engine friendly clone of the ACL2 documentation.

Fgl-time-fn

Function: fgl-time-fn

(defun fgl-time-fn (time-val x)
  (declare (xargs :guard t))
  (let ((__function__ 'fgl-time-fn))
    (declare (ignorable __function__))
    x))