		Search-engine friendly clone of the ACL2 documentation.

Syndef::acid4

Syndef::CHANGE-acid4

Modifying constructor for acid4 structures.

Syntax

(CHANGE-acid4 x 
              [:id <id>])

This is an often useful alternative to MAKE-acid4.

We construct a new acid4 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-acid4

(defmacro syndef::|CHANGE-acid4| (syndef::x &rest args)
  (std::change-aggregate 'syndef::|acid4|
                         syndef::x
                         args '((:|id| . syndef::|acid4->id|))
                         'syndef::|CHANGE-acid4|
                         'nil))