		Search-engine friendly clone of the ACL2 documentation.

Vl-iframe-p

Make-honsed-vl-iframe

Constructor macro for honsed vl-iframe-p structures.

Syntax:

(make-honsed-vl-iframe [:initially-activep <initially-activep>] 
                       [:some-thing-satisfiedp <some-thing-satisfiedp>] 
                       [:already-saw-elsep <already-saw-elsep>])

This is identical to make-vl-iframe, except that we hons the structure we are creating.

Definition

This is an ordinary honsing make- macro introduced by defaggregate.

Macro: make-honsed-vl-iframe

(defmacro make-honsed-vl-iframe (&rest args)
  (std::make-aggregate 'vl-iframe
                       args
                       '((:initially-activep)
                         (:some-thing-satisfiedp)
                         (:already-saw-elsep))
                       'make-honsed-vl-iframe
                       t))