В чем смысл ATS_EXTERN_PREFIX?

Question

Например, я увидел следующую строку в ATSLIB:

#define ATS_EXTERN_PREFIX "atslib_" 

Что такое смысл ATS_EXTERN_PREFIX? в чем его цель?

Answer 1

Если мы имеем #define ATS_EXTERN_PREFIX "FOO_" и extern fun bar (...): ... = "mac#%", то внешнее имя bar становится ${ATS_EXTERN_PREFIX}bar, т.е. FOO_bar.

По существу, '%' в декларации заменяется значением ATS_EXTERN_PREFIX.