		Search-engine friendly clone of the ACL2 documentation.

Vl-psconfig-p

Change-vl-psconfig

A copying macro that lets you create new vl-psconfig-p structures, based on existing structures.

Syntax:

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

This is a sometimes useful alternative to make-vl-psconfig. It constructs a new vl-psconfig-p structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by defaggregate.

Macro: change-vl-psconfig

(defmacro change-vl-psconfig (x &rest args)
  (std::change-aggregate
       'vl-psconfig
       x args
       '((:autowrap-col . vl-psconfig->autowrap-col)
         (:autowrap-ind . vl-psconfig->autowrap-ind)
         (:htmlp . vl-psconfig->htmlp)
         (:tabsize . vl-psconfig->tabsize)
         (:package . vl-psconfig->package)
         (:base . vl-psconfig->base)
         (:eviscconfig . vl-psconfig->eviscconfig))
       'change-vl-psconfig
       'nil))