		Search-engine friendly clone of the ACL2 documentation.

Bin-expo

Change-bin-expo

Modifying constructor for bin-expo structures.

Syntax

(change-bin-expo x 
                 [:prefix <prefix>] 
                 [:sign? <sign?>] 
                 [:digits <digits>])

This is an often useful alternative to make-bin-expo.

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

(defmacro change-bin-expo (x &rest args)
  (std::change-aggregate 'bin-expo
                         x args
                         '((:prefix . bin-expo->prefix)
                           (:sign? . bin-expo->sign?)
                           (:digits . bin-expo->digits))
                         'change-bin-expo
                         'nil))