		Search-engine friendly clone of the ACL2 documentation.

Char+short+int+long+llong+bool-format

Change-char+short+int+long+llong+bool-format

Modifying constructor for char+short+int+long+llong+bool-format structures.

Syntax

(change-char+short+int+long+llong+bool-format x 
                                              [:uchar <uchar>] 
                                              [:schar <schar>] 
                                              [:char <char>] 
                                              [:short <short>] 
                                              [:int <int>] 
                                              [:long <long>] 
                                              [:llong <llong>] 
                                              [:bool <bool>])

This is an often useful alternative to make-char+short+int+long+llong+bool-format.

We construct a new char+short+int+long+llong+bool-format 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 fty::defprod.

Macro: change-char+short+int+long+llong+bool-format

(defmacro change-char+short+int+long+llong+bool-format
          (x &rest args)
  (std::change-aggregate
       'char+short+int+long+llong+bool-format
       x args
       '((:uchar .
                 char+short+int+long+llong+bool-format->uchar)
         (:schar .
                 char+short+int+long+llong+bool-format->schar)
         (:char .
                char+short+int+long+llong+bool-format->char)
         (:short .
                 char+short+int+long+llong+bool-format->short)
         (:int .
               char+short+int+long+llong+bool-format->int)
         (:long .
                char+short+int+long+llong+bool-format->long)
         (:llong .
                 char+short+int+long+llong+bool-format->llong)
         (:bool .
                char+short+int+long+llong+bool-format->bool))
       'change-char+short+int+long+llong+bool-format
       'nil))