search for:
{...} | {...}
-- join lists
Synopsis:
Operator:
|
-- a binary operator
Input:
an instance of class
List
.
an instance of class
List
.
Output:
an instance of class
List
.
v|w
-- join two lists.
i1 : {1,2,3}|{4,5,6}
o1 = {1, 2, 3, 4, 5, 6}
o1 : List
search for:
![[top]](top.gif)
![[index]](index.gif)