- d -

• DARK_SHADOW : theory_arith.h
• DATATYPE : theory_datatype.h
• DATATYPE_DECL : theory_datatype.h
• DBG : kinds.h
• DEFUN : kinds.h
• DIFF_ONLY : translator.h
• DISTINCT : kinds.h
• DIVIDE : theory_arith.h
• DUMP_ASSUMPTIONS : kinds.h
• DUMP_CLOSURE : kinds.h
• DUMP_CLOSURE_PROOF : kinds.h
• DUMP_PROOF : kinds.h
• DUMP_SIG : kinds.h
• DUMP_TCC : kinds.h
• DUMP_TCC_ASSUMPTIONS : kinds.h
• DUMP_TCC_PROOF : kinds.h

---