		Search-engine friendly clone of the ACL2 documentation.

Fgl-rewrite-rules

Fgl-time-fn

Signature
(fgl-time-fn time-val x) → *

Definitions and Theorems

Function: fgl-time-fn

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