All data types

CEQ

abstractTypesextends

An abstract data type based on COMP with no further structure.