		Search-engine friendly clone of the ACL2 documentation.

Instruction-ternary

Change-instruction-ternary

Modifying constructor for instruction-ternary structures.

Syntax

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

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

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

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