abstract type (Q1781552)
type in a nominative type system that cannot be instantiated directly
Language:
other details
description type in a nominative type system that cannot be instantiated directly

External Links