Accounts: AssocMap<[AccountId, Token], bigint>

The Marlowe model allows for a contract to store assets. All participants of the contract implicitly own an account identified with an AccountId.

All assets stored in the contract must be in an internal account for one of the parties; this way, when the contract is closed, all remaining assets can be redeemed by their respective owners. These accounts are local: they only exist (and are accessible) within the contract.

See

Section 2.1.3 of the Marlowe spec