		Search-engine friendly clone of the ACL2 documentation.

Priopt

Change-priopt

Modifying constructor for priopt structures.

Syntax

(change-priopt x 
               [:indent-size <indent-size>] 
               [:paren-nested-conds <paren-nested-conds>])

This is an often useful alternative to make-priopt.

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

(defmacro change-priopt (x &rest args)
  (std::change-aggregate
       'priopt
       x args
       '((:indent-size . priopt->indent-size)
         (:paren-nested-conds . priopt->paren-nested-conds))
       'change-priopt
       'nil))