type expression (выражение, описывающее тип)

Выражение для ссылки на один или несколько типов данных. Например, объявление тина атрибута в обычном языке программировании представляет собой выражение для описания типа.

Пример

Следующие выражения описывают типы в языке C++:

Person*
Order[24]
Boolean (*) (String, int)