OPERATOR array(ANY, ...) RETURNS ARRAY;

The array selector. Returns an array containing the arguments passed to array, in order.

OPERATOR length (arr ARRAY) RETURNS integer;

The array length operator.

The length of the array arr.

OPERATOR index_of (arr ARRAY, data ANY) RETURNS integer;

Returns the index of the first occurrence of data in the array arr.

The index, or -1 if data does not appear in the array.