		Search-engine friendly clone of the ACL2 documentation.

Stv2c-opts-p

Change-stv2c-opts

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

Syntax:

(change-stv2c-opts x 
                   [:help <help>] 
                   [:readme <readme>] 
                   [:stv <stv>] 
                   [:start-files <start-files>] 
                   [:search-path <search-path>] 
                   [:search-exts <search-exts>] 
                   [:defines <defines>] 
                   [:edition <edition>] 
                   [:strict <strict>] 
                   [:mem <mem>])

This is a sometimes useful alternative to make-stv2c-opts. It constructs a new stv2c-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-stv2c-opts

(defmacro change-stv2c-opts (x &rest args)
  (std::change-aggregate 'stv2c-opts
                         x args
                         '((:help . stv2c-opts->help)
                           (:readme . stv2c-opts->readme)
                           (:stv . stv2c-opts->stv)
                           (:start-files . stv2c-opts->start-files)
                           (:search-path . stv2c-opts->search-path)
                           (:search-exts . stv2c-opts->search-exts)
                           (:defines . stv2c-opts->defines)
                           (:edition . stv2c-opts->edition)
                           (:strict . stv2c-opts->strict)
                           (:mem . stv2c-opts->mem))
                         'change-stv2c-opts
                         'nil))