(vl-gatearg-ok-for-delayredux-p x) → *
Function:
(defun vl-gatearg-ok-for-delayredux-p$inline (x) (declare (xargs :guard (vl-plainarg-p x))) (let ((__function__ 'vl-gatearg-ok-for-delayredux-p)) (declare (ignorable __function__)) (b* (((vl-plainarg x) x)) (and (or (eq x.dir :vl-input) (eq x.dir :vl-output)) (or (not x.expr) (eql (vl-expr->finalwidth x.expr) 1))))))