A high-level definition of a data type that does not specify how its used or how to make it, but rather the properties of the datatype itself.
A high-level definition of a data type that does not specify how its used or how to make it, but rather the properties of the datatype itself.