| 284 | | * `seq_add(a,e)` : array obtained by adding element e to the end of the array. Original array a is not modified. |
| 285 | | * `seq_append(a1,a2)` : array obtained by concatenating two arrays. Original array not modified. |
| 286 | | * `seq_remove(a,i)` : array obtained by removing element at position i from a. Original array a not modified. |
| 287 | | * `seq_insert(a,i,x)` : array obtained by inserting an element x at position i in a. |
| 288 | | * `seq_length(a)` : returns length of array a (an `Integer`) |
| | 284 | {{{ |
| | 285 | <T> $seq<T> $seq_add( $seq<T> a, T e); // sequence obtained by adding element e to the end of a |
| | 286 | <T> $seq<T> $seq_append($seq<T> a1, $seq<T> a2); // sequence obtained by concatenating a1 and a2 |
| | 287 | <T> $seq<T> $seq_remove($seq<T> a, $int i); // sequence obtained by removing element at position i from a |
| | 288 | <T> $seq<T> $seq_insert($seq<T> a, $int i, T x); // sequence obtained by inserting element x at position i in a |
| | 289 | <T> $int $seq_length($seq<T> a); // length of a |
| | 290 | }}} |
