APT defaults table.
This is analogous to the ACL2 defaults table, but it is specific to APT. It contains information about various defaults that affect certain aspects of the behavior of APT transformations.
Support for more defaults will be added as needed.
We provide event macros to change the defaults. These should be used instead of modifying the table directly.
Internally, each default is represented by a pair in the table. The key is always a keyword, while the value depends on the default.