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 */.