Some definitions of data types