Question

Name equivalence , type equivalence explain

Answer 1

Answer:

If the resulting type expressions have the same structure, they are equivalent. Name equivalence: Names are not replaced by the type expressions they define. Two expressions are equivalent if and only if they are structurally equivalent without name substitution.