Tupple type

[tmteam]

y:(int,text) = (42,'vasa')

f(x) = (x*2, x.toText(), x-1)

(g,t,i) = f(42)

• Type definition: ($type1, $type2 ...)
• No less than 2 types
• Can be converted to 'Any'
• Covariance (?)