Ledger

Obligations

Each row is a shared object. The funds inside it move only when the conditions on the object are true.

Reading shared objects…