avail/avail.descriptor.types/TupleTypeDescriptor/o_IsSupertypeOfTupleType

o_IsSupertypeOfTupleType

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

{@inheritDoc}

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