next up previous contents index
Next: apply Up: TableType Previous: TableType   Contents   Index


[]


Usage

[ $(k_1, v_1),\dots,(k_n, v_n)$]


Signature

[]: Tuple Cross(K, V) $\to$ %


Parameter Type Description
$k_1,\dots,k_n$ K keys
$v_1,\dots,v_n$ V values


Returns

Returns the table $[k_1 = t_1,\dots,k_n = v_n]$.


See Also

table



Manuel Bronstein 2004-06-28