Searched refs:unify_subst_nboyer (Results 1 – 1 of 1) sorted by relevance
3454 var unify_subst_nboyer; variable3622 …if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_1…3623 … return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));3634 (unify_subst_nboyer = "\u1E9C*");3641 (temp_temp = (sc_assq(term2, unify_subst_nboyer)));3649 … (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));