- d -

• DARK_SHADOW : CVC3
• DATATYPE : CVC3
• DATATYPE_DECL : CVC3
• DBG : CVC3
• DEFUN : CVC3
• DIFF_ONLY : CVC3
• DISTINCT : CVC3
• DIVIDE : CVC3
• DUMP_ASSUMPTIONS : CVC3
• DUMP_CLOSURE : CVC3
• DUMP_CLOSURE_PROOF : CVC3
• DUMP_PROOF : CVC3
• DUMP_SIG : CVC3
• DUMP_TCC : CVC3
• DUMP_TCC_ASSUMPTIONS : CVC3
• DUMP_TCC_PROOF : CVC3