abstract type noun1 •a type in a nominative type system that cannot be instantiated. formsabstract types
