Yes or like so:

Types T is equal to type S if T and S are both nominal types and refer to the 
same declaration or if both are structural types and their structures are equal.

Reply via email to