| Decl | |
| 1 (Type/Class) | Language.Clafer.Front.Absclafer |
| 2 (Data Constructor) | Language.Clafer.Front.Absclafer |
| DeclAll | Language.Clafer.Front.Absclafer |
| DeclAllDisj | Language.Clafer.Front.Absclafer |
| Declaration | Language.Clafer.Front.Absclafer |
| declHelper | Language.Clafer.Generator.Python |
| DeclQuant | Language.Clafer.Front.Absclafer |
| DeclQuantDisj | Language.Clafer.Front.Absclafer |
| decls | Language.Clafer.Intermediate.Intclafer |
| dedent | Language.Clafer.Front.LayoutResolver |
| defaultClaferArgs | Language.Clafer.ClaferArgs, Language.Clafer |
| defSEnv | Language.Clafer.Intermediate.ResolverName |
| deriveQNameMaps | Language.Clafer.QNameUID |
| desugarAbstract | Language.Clafer.Intermediate.Desugarer |
| desugarCard | Language.Clafer.Intermediate.Desugarer |
| desugarClafer | Language.Clafer.Intermediate.Desugarer |
| desugarConstraint | Language.Clafer.Intermediate.Desugarer |
| desugarDecl | Language.Clafer.Intermediate.Desugarer |
| desugarDeclaration | Language.Clafer.Intermediate.Desugarer |
| desugarElement | Language.Clafer.Intermediate.Desugarer |
| desugarElements | Language.Clafer.Intermediate.Desugarer |
| desugarEnums | Language.Clafer.Intermediate.Desugarer |
| desugarExInteger | Language.Clafer.Intermediate.Desugarer |
| desugarExp | Language.Clafer.Intermediate.Desugarer |
| desugarExp' | Language.Clafer.Intermediate.Desugarer |
| desugarGCard | Language.Clafer.Intermediate.Desugarer |
| desugarGoal | Language.Clafer.Intermediate.Desugarer |
| desugarInit | Language.Clafer.Intermediate.Desugarer |
| desugarInitHow | Language.Clafer.Intermediate.Desugarer |
| desugarLocId | Language.Clafer.Intermediate.Desugarer |
| desugarModId | Language.Clafer.Intermediate.Desugarer |
| desugarModule | Language.Clafer.Intermediate.Desugarer |
| desugarName | Language.Clafer.Intermediate.Desugarer |
| desugarNCard | Language.Clafer.Intermediate.Desugarer |
| desugarOp | Language.Clafer.Intermediate.Desugarer |
| desugarPath | Language.Clafer.Intermediate.Desugarer |
| desugarQuant | Language.Clafer.Intermediate.Desugarer |
| desugarSetExp | Language.Clafer.Intermediate.Desugarer |
| desugarSetExp' | Language.Clafer.Intermediate.Desugarer |
| desugarSoftConstraint | Language.Clafer.Intermediate.Desugarer |
| desugarSuper | Language.Clafer.Intermediate.Desugarer |
| desugarSuperHow | Language.Clafer.Intermediate.Desugarer |
| Difference | Language.Clafer.Front.Absclafer |
| directChildrenOf | Language.Clafer.Intermediate.Analysis |
| directDescendantsOf | Language.Clafer.Intermediate.Analysis |
| Doc | Language.Clafer.Front.Printclafer |
| doc | Language.Clafer.Front.Printclafer |
| Domain | Language.Clafer.Front.Absclafer |