Recognizer for vl-iframe structures.
(vl-iframe-p x) → *
Function:
(defun vl-iframe-p (x) (declare (xargs :guard t)) (let ((__function__ 'vl-iframe-p)) (declare (ignorable __function__)) (and (std::prod-consp x) (std::prod-consp (std::prod-car x)) (std::prod-consp (std::prod-cdr x)) (std::prod-consp (std::prod-cdr (std::prod-cdr x))) (b* ((initially-activep (std::prod-car (std::prod-car x))) (some-thing-satisfiedp (std::prod-cdr (std::prod-car x))) (already-saw-elsep (std::prod-car (std::prod-cdr x))) (mi-controller (std::prod-car (std::prod-cdr (std::prod-cdr x)))) (mi-filename (std::prod-cdr (std::prod-cdr (std::prod-cdr x))))) (and (booleanp initially-activep) (booleanp some-thing-satisfiedp) (booleanp already-saw-elsep) (maybe-stringp mi-controller) (maybe-stringp mi-filename))))))