Hi, I don't find the formal definition of "declare", although it is used in ~300 hundred of places. Do I miss something? If it is not formally defined, should it be defined? Thanks. https://llvm.org/docs/LangRef.html -- Regards, Peng