list-operators.html 499 B

1234567
  1. Operator | Description
  2. ---------|-------------
  3. <code>listany &vert;&vert; listany</code> | Concatenate the two lists.
  4. <code>listany &vert;&vert; listelementany</code> | Append the element to the list.
  5. <code>listelementany &vert;&vert; listany</code> | Prepend the element to the list.
  6. <code>listany @&gt; listany</code> | Check if the first list contains all elements of the second list.
  7. <code>listany &lt;@ listany</code> | Check if all elements of the first list are contained in the second list.