Set the default
Some APT transformations include an
This macro sets an entry in the APT defaults table
that provides the default value of the
The initial value of this default is
Macro:
(defmacro set-default-input-old-if-new-enable (bool) (declare (xargs :guard (booleanp bool))) (cons 'table (cons *defaults-table-name* (cons ':old-if-new-enable (cons bool 'nil)))))