The names of the product elements
The name of the type
Returns an unordered diff between two memory spaces