A Type Declaration is a language construct that specifies the characteristics of code and data objects used in a program.