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