Definition of all the relevant data types. More...
Definition of all the relevant data types.
Herw we declare instances of all the relevant types.