Searched refs:apply_subst_nboyer (Results 1 – 1 of 1) sorted by relevance
3447 var apply_subst_nboyer; variable3555 apply_subst_nboyer = function(alist, term) { function3558 …term.car), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.…3562 …:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), ((sc_lst_7 = (lst.cdr)), ((sc_lst_7 === null…3623 … return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));3789 …(sc_term_21 = (apply_subst_nboyer(((const_nboyer === null)?null:(new sc_Pair((new sc_Pair((const_n…