		Search-engine friendly clone of the ACL2 documentation.

Address+pos

Change-address+pos

Modifying constructor for address+pos structures.

Syntax

(change-address+pos x 
                    [:address <address>] 
                    [:pos <pos>])

This is an often useful alternative to make-address+pos.

We construct a new address+pos 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-address+pos

(defmacro change-address+pos (x &rest args)
  (std::change-aggregate 'address+pos
                         x args
                         '((:address . address+pos->address)
                           (:pos . address+pos->pos))
                         'change-address+pos
                         'nil))