Type

A type is a representation of possible predicate subjects.

Meta-model

// @lc-entity
// @lc-identifier dsc:Type
class Type { }