static int indexOfSubList(L x, L y) { ret indexOfSubList(x, y, 0); } static int indexOfSubList(L x, L y, int i) { outer: for (; i+l(y) <= l(x); i++) { for (int j = 0; j < l(y); j++) if (neq(x.get(i+j), y.get(j))) continue outer; ret i; } ret -1; } static int indexOfSubList(L x, A[] y, int i) { outer: for (; i+l(y) <= l(x); i++) { for (int j = 0; j < l(y); j++) if (neq(x.get(i+j), y[j])) continue outer; ret i; } ret -1; }