		Search-engine friendly clone of the ACL2 documentation.

Demo2-opts-p

Change-demo2-opts

A copying macro that lets you create new demo2-opts-p structures, based on existing structures.

Syntax:

(change-demo2-opts x 
                   [:help <help>] 
                   [:version <version>] 
                   [:fail <fail>])

This is a sometimes useful alternative to make-demo2-opts. It constructs a new demo2-opts-p 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 std::defaggregate.

Macro: change-demo2-opts

(defmacro change-demo2-opts (x &rest args)
  (std::change-aggregate 'demo2-opts
                         x args
                         '((:help . demo2-opts->help)
                           (:version . demo2-opts->version)
                           (:fail . demo2-opts->fail))
                         'change-demo2-opts
                         'nil))