		Search-engine friendly clone of the ACL2 documentation.

Vl-iframe-p

Make-vl-iframe

Constructor macro for vl-iframe-p structures.

Syntax:

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

This is our preferred way to construct vl-iframe-p structures. It simply conses together a structure with the specified fields.

This macro generates a new vl-iframe-p structure from scratch. See also change-vl-iframe, which can "change" an existing structure, instead.

The vl-iframe-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-vl-iframe instead.

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-iframe

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