Tx types 1 2 3 4 5 6 7 8 9 10 11 12 13 14primitive TxBegun """ Transaction started successfully. """ primitive TxCommitted """ Transaction committed successfully. """ primitive TxRolledBack """ Transaction rolled back successfully. """