Searched refs:true_lst (Results 1 – 1 of 1) sorted by relevance
3564 tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) { argument3572 var true_lst;3575 …)), ((sc_tmp1126_10!== false)?sc_tmp1126_10:(is_term_member_nboyer(sc_x_11, true_lst))))!== false))3585 …_term_nboyer))), ((tmp1126!== false)?tmp1126:(is_term_member_nboyer(sc_x_8, true_lst))))!== false))3591 …autologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_lst))!==…