Definitions for "Abstract type"
an object that cannot be shown printed, mapped, etc
a specific type that has the reserved word abstract in its declaration
a tagged type intended for use as an ancestor of other types, but which is not allowed to have objects of its own
a description of the methods that a data structure knows and what the methods do", but I really don't understand it