[ColeMiner]

Yes, almost all the "impl.inc" files (there is now one for almost every library in the framework) are included that way for the reason above of getting unique include-guard names. The files that start with an underscore are all included using "\", and are all included multiple times so use the well-definedness of their guard names to #undef them so that they can be included multiple times.