Simple Data Structuring

A simple structured type can be formed by the set product† of two or more unstructured types. The result is known as a record type. A familiar example is the type complex number, which consists of all possible ordered pairs of real numbers. Thus $$ \begin{gathered} \hfill type\,complex=record \\ \hf... View More