Lines Matching refs:sc_isEqual
860 if (!sc_isEqual(l.car, o)) {
875 if (sc_isEqual(l.car, o)) {
1000 if (sc_isEqual(l.car,o))
1042 if (sc_isEqual(al.car.car, o))
3177 function sc_isEqual(o1, o2) { function
3180 && sc_isPairEqual(o1, o2, sc_isEqual)) ||
3182 && sc_isVectorEqual(o1, o2, sc_isEqual)));
3646 return (sc_isEqual(term1, term2));
3684 …sc_isEqual(n, (1)))?(sc_list("\u1E9Cimplies", (0), (1))):(sc_list("\u1E9Cand", (sc_list("\u1E9Cimp…
3718 return (sc_isEqual(x, y));
3842 if ((sc_isEqual((sc_nts_10[i]), nt)))
4029 if ((sc_isEqual((sc_nts_49[i]), nt)))