спецификатор (specifier)

Спецификатор применяет дополнительную информацию к определению. Например, спецификатор эффекта decides в определении функции помечает функцию как выражение с неоднозначным результатом.