Type defintion specifies a variable declaration for discrete data types Type defintion specifies a signal variable declaration Type definiton specifies a variable reference (signal or discrete data type) Abstract super type of all language elements Abstract super type of all statements in testml Abstract super type of all structural types in testml Abstract super type of all expressions in testml Abstract super type of all literals in testml Type of all boolean literals