Skip to main content

Tuple Concatenation

rascal-0.28.2

Synopsis

Concatenate two tuple values.

Syntax

Exp₁ + Exp₂

Types

Exp₁Exp2_Exp₁ > Exp2_
tuple[ T₁₁, T₁₂, ... ]tuple[ T₂₁, T₂₂, ... ]tuple[ T₁₁, T₁₂, ..., T₂₁, T₂₂, ... ]

Description

Returns a tuple consisting of the concatenation of the tuple elements of Exp₁ and Exp₂.

Examples

rascal><"abc", 1, 2.5> + <true, "def">;
tuple[str,int,real,bool,str]: <"abc",1,2.5,true,"def">