Module nandoize::mapping_context
source · Expand description
Module-internal structures used while generating nanotransaction variants of user functions.
Structs
- Parameter mapping context.
- Pair of nanotransaction parameter and corresponding wrapped function argument.
- Information for logging all (potentially) modified values of a given object.
- Context for invariant pointer resolution and data logging.