Execute transactions and modify State. This is glue code between the
account-state crates and contains everything that requires
Executive (or types
Used to return information about an
Return type of proof validity check.
Collects code that needs a Machine and/or Executive
Check the given proof of execution.
Result type for the execution (“application”) of a transaction.