Executes a transaction synchronously.
The result of the transaction.
The code to execute within the transaction.
The return type of the statement.