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.
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.