especificador

Um especificador aplica informações adicionais a uma definição. Por exemplo, o especificador de efeito "decides" em uma definição de função marca a função como falível.