abstract type

type in a nominative type system that cannot be instantiated directly

Categorie: