		Search-engine friendly clone of the ACL2 documentation.

Instruction-equal

Change-instruction-equal

Modifying constructor for instruction-equal structures.

Syntax

(change-instruction-equal x 
                          [:op <op>] 
                          [:arg1 <arg1>] 
                          [:arg2 <arg2>] 
                          [:into <into>])

This is an often useful alternative to make-instruction-equal.

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

(defmacro change-instruction-equal (x &rest args)
  (std::change-aggregate 'instruction-equal
                         x args
                         '((:op . instruction-equal->op)
                           (:arg1 . instruction-equal->arg1)
                           (:arg2 . instruction-equal->arg2)
                           (:into . instruction-equal->into))
                         'change-instruction-equal
                         'nil))