static bool subListStartingAtIs(L l, int i, A... items) { if (i < 0 || i+l(items) > l(l)) false; for j over items: if (!eq(l.get(i+j), items[j])) false; true; }