The data structures used in Venus fall into the following categories:
A characteristic feature is that some data structures function as an umbrella for a table of others. We mean that a single instance of them is present. Others appears as tables, trees, linked lists etc.
Some data structures are persistent and stored in RVM. On the
whole modification of such structures involves RVM transactions.
Sometimes components of persistent structures are labelled as
transients. Such transients are stored in RVM but have no
persistent meaning. These are generally marked in the source with
/* T */
.