Технические характеристики функций: -спец. Эффективное использование

Как я могу использовать слово -spec в erlang? Пожалуйста, дайте мне представление об эффективном использовании этого слова. Используется ли это только для целей документации?

Я пытаюсь применить ограничение для работы в модуле по спецификации типа функции, используя -spec , но мне это не удалось - никаких ограничений не применялось.