Index - D
| Data | U.Codebase.Decl |
| DataConstructor | U.Codebase.Referent |
| DataDeclaration | U.Codebase.Decl |
| Decl | U.Codebase.Decl |
| DeclR | U.Codebase.Decl |
| DeclType | U.Codebase.Decl |
| dependencies | |
| 1 (Function) | U.Codebase.Type |
| 2 (Function) | U.Codebase.Decl |
| 3 (Function) | U.Codebase.Term |
| Deprecate | |
| 1 (Data Constructor) | U.Codebase.TermEdit |
| 2 (Data Constructor) | U.Codebase.TypeEdit |
| Different | U.Codebase.TermEdit |