Let’s see an example of a simple type expression and its meaning for the resulting data-structure. Consider the type expression shown. All this type expression specifies is that we will create a data-structure that is to be stored in transient memory. The malloc component simply specifies that the data structure elements are going to be allocated on demand (no pre-allocated maximum size buffer). In other words this structure can grow indefinitely.