avail/avail.descriptor.types/ConcatenatedTupleTypeDescriptor/o_IsSupertypeOfTupleType

o_IsSupertypeOfTupleType

open override fun o_IsSupertypeOfTupleType(self: AvailObject, aTupleType: A_Type): Boolean

Tuple type A is a supertype of tuple type B iff all the possible instances of B would also be instances of A. Types indistinguishable under these conditions are considered the same type.