major class of type system, in which type compatibility and equivalence are determined by the type's actual structure or definition, and not by other characteristics such as its name or place of declaration
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?