Lines Matching refs:true_term
709 rolling = syntax.true_term
711 for ident in idents.get (fname, [syntax.true_term]):
718 from syntax import mk_not, mk_and, true_term
720 auto_callables = dict ([((ident, f, true_term), True)
721 for ident in idents.get (fname, [true_term])
749 (true_term, e_vis))]
764 from syntax import true_term
773 for ident in idents.get (fname, [true_term]):
776 for ident2 in idents.get (fname2, [true_term])
817 res = syntax.mk_word32 (bounds[(fname, syntax.true_term)])
820 assert idents[fname][-1] == syntax.true_term
918 idents[fname].append (syntax.true_term)
920 return syntax.true_term