(vl-edgesynth-edge->posedgep x) → type
Function:
(defun vl-edgesynth-edge->posedgep (x) (declare (xargs :guard (vl-edgesynth-edge-p x))) (let ((__function__ 'vl-edgesynth-edge->posedgep)) (declare (ignorable __function__)) (eq (vl-evatom->type x) :vl-posedge)))
Theorem:
(defthm booleanp-of-vl-edgesynth-edge->posedgep (b* ((type (vl-edgesynth-edge->posedgep x))) (booleanp type)) :rule-classes :type-prescription)