What Is A Type Definition In Programming