Index - D
| DataDecl | |
| 1 (Data Constructor) | Tip.Haskell.Repr |
| 2 (Data Constructor) | Tip.Types, Tip.Core |
| DataDistinct | Tip.Types, Tip.Core |
| DataDomain | Tip.Types, Tip.Core |
| DataProjection | Tip.Types, Tip.Core |
| Datatype | |
| 1 (Type/Class) | Tip.Types, Tip.Core |
| 2 (Data Constructor) | Tip.Types, Tip.Core |
| DatatypeInfo | Tip.Scope |
| data_cons | Tip.Types, Tip.Core |
| data_name | Tip.Types, Tip.Core |
| data_tvs | Tip.Types, Tip.Core |
| Decl | |
| 1 (Type/Class) | Tip.Haskell.Repr |
| 2 (Type/Class) | Tip.Types, Tip.Core |
| Decls | |
| 1 (Type/Class) | Tip.Haskell.Repr |
| 2 (Data Constructor) | Tip.Haskell.Repr |
| declsPass | Tip.Types, Tip.Core |
| declsToTheory | Tip.Types, Tip.Core |
| DeepConPat | Tip.Core |
| DeepLitPat | Tip.Core |
| DeepPattern | Tip.Core |
| DeepVarPat | Tip.Core |
| Default | Tip.Types, Tip.Core |
| defines | Tip.Core |
| Definition | |
| 1 (Data Constructor) | Tip.Types, Tip.Core |
| 2 (Type/Class) | Tip.Core |
| Defunction | Tip.Types, Tip.Core |
| DeleteConjecture | Tip.Passes |
| deleteConjecture | Tip.Passes |
| Derived | Tip.Haskell.Translate |
| destructorType | Tip.Core |
| disambig | Tip.Utils.Rename |
| disambig2 | Tip.Utils.Rename |
| discriminator | Tip.Core |
| DiscriminatorInfo | Tip.Scope |
| Distinct | Tip.Types, Tip.Core |
| Do | Tip.Haskell.Repr |
| DropSuffix | Tip.Passes |
| dropSuffix | Tip.Passes |
| duplicates | Tip.Utils |