Lines Matching refs:false_term
17 foldr1, boolT, word32T, word8T, builtinTs, true_term, false_term,
209 test_expr = false_term
282 test_expr = false_term
479 assert b in [false_term, true_term]
552 result = {True: true_term, False: false_term}[result]
555 result = {True: true_term, False: false_term}[result]
558 result = {True: true_term, False: false_term}[result]
562 result = {True: true_term, False: false_term}[result]
601 assert x in [syntax.true_term, syntax.false_term]
602 if x == syntax.false_term:
612 assert x in [syntax.true_term, syntax.false_term]
613 if x == syntax.false_term:
1293 assert hit in [syntax.true_term, syntax.false_term], (n_vc, hit)