Index - D
| D | CST |
| D' | CST |
| D'' | CST |
| DASHED_ARROW | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| dataBytes | AST |
| Dataization | Deps |
| dataizationOf | Inference |
| dataizationRules | Yaml |
| dataizationSpine | Inference |
| dataize | Dataize |
| dataize' | Dataize |
| Dataized | |
| 1 (Data Constructor) | Lambdas |
| 2 (Data Constructor) | Dataize |
| dataizeParser | CLI.Parsers |
| DataizeRule | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| DataNumber | AST |
| DataObject | AST |
| DataString | AST |
| DEAD | CST |
| Deadline | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| DEBUG | Logger |
| decodeRule | Yaml |
| deeper | Morph |
| defaultLatexContext | LaTeX |
| defaultMargin | Margin |
| defaultMeetLength | LaTeX |
| defaultMeetPopularity | LaTeX |
| defaultXmirContext | XMIR |
| Deferred | Lambdas |
| DELTA | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| DELTA' | CST |
| denoted | AST |
| direct | |
| 1 (Function) | Rewriter |
| 2 (Function) | Inference |
| DirectoryDoesNotExist | Files |
| Disjoint | Yaml |
| distinct | AST |
| Diverged | Morph |
| DOLLAR | CST |
| DOMAIN | CST |
| Domain | Yaml |
| domainOf | Rule |
| dontSaveEval | Deps |
| dontSaveMade | Deps |
| dontSaveStep | Deps |
| DOTS | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| DOTS' | CST |
| dotted | Deps |