static int tripleIndexOf(T3 t, A a) { if (t == null) ret -1; if (eq(t.a, a)) ret 0; if (eq(t.b, a)) ret 1; if (eq(t.c, a)) ret 2; ret -1; } static int tripleIndexOf(A a, A b, A c, A x) { if (eq(a, x)) ret 0; if (eq(b, x)) ret 1; if (eq(c, x)) ret 2; ret -1; }