I\'ve seen different code snippets using these types, but I haven\'t seen if they are defined in some or just defined in a \"local header file\"
AFAIK there is no standard header file that defines these types. According to your description int2 means a pair of two ints which can be represented in C++ as std::pair.
int2
int
std::pair