[]

Usage

[$t_1,\dots,t_n$]

Signature

[]:	Tuple T $\to$ %

Parameter	Type	Description
$t_1,\dots,t_n$	T	elements of T

Returns

Returns the structure $[t_1,\dots,t_n]$.