		Search-engine friendly clone of the ACL2 documentation.

Vl-oddinfo

Change-vl-oddinfo

Modifying constructor for vl-oddinfo structures.

Syntax

(change-vl-oddinfo x 
                   [:type <type>] 
                   [:subexpr <subexpr>] 
                   [:simple <simple>] 
                   [:complex <complex>] 
                   [:swidth <swidth>] 
                   [:cwidth <cwidth>])

This is an often useful alternative to make-vl-oddinfo.

We construct a new vl-oddinfo 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 defprod.

Macro: change-vl-oddinfo

(defmacro change-vl-oddinfo (x &rest args)
  (std::change-aggregate 'vl-oddinfo
                         x args
                         '((:type . vl-oddinfo->type)
                           (:subexpr . vl-oddinfo->subexpr)
                           (:simple . vl-oddinfo->simple)
                           (:complex . vl-oddinfo->complex)
                           (:swidth . vl-oddinfo->swidth)
                           (:cwidth . vl-oddinfo->cwidth))
                         'change-vl-oddinfo
                         'nil))