		Search-engine friendly clone of the ACL2 documentation.

Mapping

Change-mapping

Modifying constructor for mapping structures.

Syntax

(change-mapping x 
                [:name <name>] 
                [:key-name <key-name>] 
                [:key-type <key-type>] 
                [:value-name <value-name>] 
                [:value-type <value-type>])

This is an often useful alternative to make-mapping.

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

(defmacro change-mapping (x &rest args)
  (std::change-aggregate 'mapping
                         x args
                         '((:name . mapping->name)
                           (:key-name . mapping->key-name)
                           (:key-type . mapping->key-type)
                           (:value-name . mapping->value-name)
                           (:value-type . mapping->value-type))
                         'change-mapping
                         'nil))