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