Data types and type declarations

A type declaration is of the form

        <signal> : <type>;

where <signal> is the name of a signal and <type> is the set of values that the signal may take.