Я обнаружил, что -define - это макрос, -record - как структура C, а -include используется для header.но что означает -spec, -type или -opaque?Я пытался искать в Интернете и искать в документе, не нашел ответа
http://www.erlang.org/doc/reference_manual/typespec.html