mapping
Transform a tuple type into another tuple type by transforming each of the element types. Assume the transformation is stable. The resulting tuple type should have the same size range as the input tuple type, except if normalization produces bottom.
Return
A tuple type resulting from applying the transformation to each element type of the supplied tuple type.
Parameters
a
A tuple type whose element types should be transformed.
element
A transformation to perform on each element type, to produce the corresponding element types of the resulting tuple type.