Trick for In-Array Operator

[Admins]

You can check if an array is inside another array by converting the array to string first:

PHP Code:

  temp.arr = {{1,2},{3,4},{5,6}};
  echo("check1: " @ ((@{1,2}) in temp.arr));
  echo("check2: " @ temp.arr.index(@{3,4})); 


That might be useful for some optimizations.