Searched refs:rewrite_nboyer (Results 1 – 1 of 1) sorted by relevance
3452 var rewrite_nboyer; variable3604 rewrite_nboyer = function(term) { function3616 … ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car…3623 … return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));3632 …l)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?…3790 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));