		Search-engine friendly clone of the ACL2 documentation.

Vl-psconfig-p

Make-vl-psconfig

Constructor macro for vl-psconfig-p structures.

Syntax:

(make-vl-psconfig [:autowrap-col <autowrap-col>] 
                  [:autowrap-ind <autowrap-ind>] 
                  [:htmlp <htmlp>] 
                  [:tabsize <tabsize>] 
                  [:package <package>] 
                  [:base <base>])

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

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

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

Definition

This is an ordinary make- macro introduced by defaggregate.

Macro: make-vl-psconfig

(defmacro make-vl-psconfig (&rest args)
  (std::make-aggregate 'vl-psconfig
                       args
                       '((:autowrap-col)
                         (:autowrap-ind)
                         (:htmlp)
                         (:tabsize)
                         (:package)
                         (:base))
                       'make-vl-psconfig
                       nil))