In Glossary§
See primary documentation in context for Type objects.
A type object is an object that is used to represent a type or a class. Since in object oriented programming everything is an object, classes are objects too, and they inherit from Mu
.