		Search-engine friendly clone of the ACL2 documentation.

Gout

Change-gout

Modifying constructor for gout structures.

Syntax

(change-gout x 
             [:events <events>] 
             [:thm-index <thm-index>] 
             [:thm-name <thm-name>] 
             [:vartys <vartys>])

This is an often useful alternative to make-gout.

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

(defmacro change-gout (x &rest args)
  (std::change-aggregate 'gout
                         x args
                         '((:events . gout->events)
                           (:thm-index . gout->thm-index)
                           (:thm-name . gout->thm-name)
                           (:vartys . gout->vartys))
                         'change-gout
                         'nil))