abstract_type - Abstract data type

Abstract data types are usually used as base types, which cannot form instances as such. One cannot define collections (references or extents) based on an abstract data type, except weak-typed collections. Weak-typed collections based on an abstract data type will refer to the next higher instance, which refers to a non abstract data type.