// returns (row, col) or null static Pair indexOfIndexOf(LL l, A a) { for i over l: { int j = l.get(i).indexOf(a); if (j >= 0) ret pair(i, j); } null; } static Pair indexOfIndexOf(L l, char a) { for i over l: { int j = l.get(i).indexOf(a); if (j >= 0) ret pair(i, j); } null; }