- t -

• TCC : kinds.h
• TERMS_ONLY : translator.h
• TESTER : theory_datatype.h
• THEOREM_KIND : kinds.h
• TIME_OUT : xchaff_solver.h
• TRACE : kinds.h
• TRANS_CLOSURE : theory_uf.h
• TRANSFORM : kinds.h
• TRUE_EXPR : kinds.h
• TUPLE : theory_records.h
• TUPLE_SELECT : theory_records.h
• TUPLE_TYPE : theory_records.h
• TUPLE_UPDATE : theory_records.h
• TYPE : kinds.h
• TYPEDECL : kinds.h
• TYPEDEF : kinds.h

---