Searched refs:rewrite_nboyer (Results 1 - 1 of 1) sorted by relevance

/macosx-10.10.1/JavaScriptCore-7600.1.17/tests/exceptionFuzz/
H A Dearley-boyer.js3447 var rewrite_nboyer; variable
3599 rewrite_nboyer = function(term) { function
3611 (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3618 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3627 return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3785 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));

Completed in 101 milliseconds