		Search-engine friendly clone of the ACL2 documentation.

Transactions

Transaction

Fixtype of transactions.

This is a product type introduced by fty::defprod.

Fields

unwrap — any-p

To treat transactions abstractly, we define this fixtype as a wrapper of the fixtype of all ACL2 values. In other words, we can use any ACL2 value as a transaction, e.g. to construct examples and simulations.

Subtopics

Transaction-fix: Fixing function for transaction structures.
Transaction-equiv: Basic equivalence relation for transaction structures.
Make-transaction: Basic constructor macro for transaction structures.
Transaction->unwrap: Get the unwrap field from a transaction.
Change-transaction: Modifying constructor for transaction structures.
Transactionp: Recognizer for transaction structures.