concatenatingAnd

fun concatenatingAnd(firstTupleType: A_Type, secondTupleType: A_Type): A_Type

Construct a lazy concatenated tuple type object to represent the type that is the concatenation of the two tuple types. Make the objects be immutable, because the new type represents the concatenation of the objects at the time it was built.

Return

A simple representation of the tuple type whose instances are all the concatenations of instances of the two given tuple types.

Parameters

firstTupleType

The first tuple type to concatenate.

secondTupleType

The second tuple type to concatenate.