Nested recursive structures

In its most general form, the structure would be defined as in fig. 2.2. Each type of structure could potentially store a different type of data. These definitions would allow us to describe nested structures such as lists of lists, trees of lists and trees of trees.

 

Figure 2.2:   A more general recursive structure