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

/external/v8/benchmarks/
H A Dearley-boyer.js3455 var one_way_unify1_nboyer; variable
3622 if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12, term2)))!== false))
3635 one_way_unify1_nboyer = function(term1, term2) {
3668 if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))
3634 one_way_unify1_nboyer = function(term1, term2) { function

Completed in 120 milliseconds