Object types relate to one another through two complementary rules: depth subtyping, over the types of nested properties, and width subtyping, over the set of properties an object carries.
Object types relate to one another through two complementary rules: depth subtyping, over the types of nested properties, and width subtyping, over the set of properties an object carries.