DictionaryAI

abstract type

Short definition from Wiktionary

Noun

  1. a type in a nominative type system that cannot be instantiated.

We haven’t written up abstract type yet: Simple and Standard meanings, examples and a quiz.