Hi! in the detailed description of llvm::Value it says: All _types_ can have a name and they should belong to some Module Is this correct or is it rather All _values_ can have a name and they should belong to some Module? Is it correct to use types across modules (in the same context)? -Jochen