return false;
}
if (myKind == TCKind._tk_union)
{
for (int i=0; i<myRealType.member_count(); i++) {
if (myRealType.member_label(i) != otherRealType.member_label(i))
return false;
}
if ( ! myRealType.discriminator_type().equivalent(
otherRealType.discriminator_type()))
return false;