Community
Participate
Working Groups
Build Identifier: Currently each tuple type describes a tuple of specific length and of specific element types. However, sometimes it is useful to be able to specify that something has type tuple, without specifying it's length and element types. It would therefore be nice to have a generic tuple type, which is a subtype of value and a supertype of every specific tuple type. Reproducible: Always