Where is the Module class located in Prestashop? (Not ModuleCore)

I see that in Prestashop all Modules extend from the "Module" class but when I try to locate this class and look for it in the "classes/module/Module.php" file, I see this definition:

abstract class ModuleCore

but no trace of the actual "Module" class, as if "Module" was some alias of the "ModuleCore" class.

That's exactly what this is. `ModuleCore` is an alias for the Module Class, as all other classes in Prestashop.

It is used for overriding.
Default classes are called `ItemCore`.

So to override, you declare : `class Item extends ItemCore`