public static class TestAccount.Account
An implementation of a bank account data type used to test state-based
validation. The basic data type just carries the account balance. An
instance of that data type may be wrapped up in transactional state (low,
high, and change). A transactional instance knows how to validate against
the basic data type and on commit it updates the basic data type.