Index - D
| Decl | RSTT.Syntax.Abs |
| DeclCommandProve | RSTT.Syntax.Abs |
| DeclCommandRenderLatex | RSTT.Syntax.Abs |
| DeclCube | RSTT.Syntax.Abs |
| DeclShape | RSTT.Syntax.Abs |
| DeclTopePrefix | RSTT.Syntax.Abs |
| DefinedRules | |
| 1 (Type/Class) | RSTT.Tope.Proof |
| 2 (Data Constructor) | RSTT.Tope.Proof |
| Definitive | RSTT.Syntax.Layout |
| delimClose | RSTT.Syntax.Layout |
| delimOpen | RSTT.Syntax.Layout |
| delimSep | RSTT.Syntax.Layout |
| depthsTree | RSTT.Tope.Proof |
| distinctLEQ | RSTT.Tope.Proof |
| Doc | RSTT.Syntax.Print |
| doc | RSTT.Syntax.Print |