		Search-engine friendly clone of the ACL2 documentation.

Vl-edgesynth-delays-okp

Vl-edgesynth-simple-delay-p

Recognizer for empty delays and simple integer delays like #5.

Signature
(vl-edgesynth-simple-delay-p x) → *
Arguments: x — Guard (vl-maybe-delayoreventcontrol-p x).

Definitions and Theorems

Function: vl-edgesynth-simple-delay-p

(defun vl-edgesynth-simple-delay-p (x)
  (declare (xargs :guard (vl-maybe-delayoreventcontrol-p x)))
  (let ((__function__ 'vl-edgesynth-simple-delay-p))
    (declare (ignorable __function__))
    (or (not x)
        (and (mbe :logic (vl-delaycontrol-p x)
                  :exec (eq (tag x) :vl-delaycontrol))
             (vl-expr-resolved-p (vl-delaycontrol->value x))))))