| Dat | Language.Fixpoint.Utils.Files |
| DataCtor | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| dataCtorP | Language.Fixpoint.Parse |
| DataDecl | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| dataDeclP | Language.Fixpoint.Parse |
| dataDeclSymbols | Language.Fixpoint.Smt.Theories |
| DataField | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| dataFieldP | Language.Fixpoint.Parse |
| dcFields | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| dcName | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| dcolon | |
| 1 (Function) | Language.Fixpoint.Misc |
| 2 (Function) | Language.Fixpoint.Parse |
| DCtor | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| ddCtors | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| DDecl | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| ddecls | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| ddTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| ddVars | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| debruijnIndex | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| Declare | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| DeclData | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| decompose | Language.Fixpoint.Graph.Deps, Language.Fixpoint.Graph |
| dedupAutoRewrites | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| defaultMaxPartSize | Language.Fixpoint.Types.Config |
| defaultMinPartSize | Language.Fixpoint.Types.Config |
| defaultTrigger | Language.Fixpoint.Types.Triggers, Language.Fixpoint.Types |
| defaultVisitor | Language.Fixpoint.Types.Visitor |
| defConfig | Language.Fixpoint.Types.Config |
| Define | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| DefineFunc | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| defineP | Language.Fixpoint.Parse |
| Defunc | Language.Fixpoint.Defunctionalize |
| defunc | Language.Fixpoint.Defunctionalize |
| defuncAny | Language.Fixpoint.Defunctionalize |
| defuncEApp | Language.Fixpoint.SortCheck |
| defunction | Language.Fixpoint.Types.Config |
| defunctionalize | Language.Fixpoint.Defunctionalize |
| deleteBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| deleteIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| deleteSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| delNodes | Language.Fixpoint.Graph.Indexed |
| depCuts | Language.Fixpoint.Graph.Deps, Language.Fixpoint.Graph |
| DepEdge | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| depNonCuts | Language.Fixpoint.Graph.Deps, Language.Fixpoint.Graph |
| Deps | Language.Fixpoint.Graph.Deps, Language.Fixpoint.Graph |
| DField | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| dfName | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| dfSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| die | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| dieAt | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| differenceSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| diffIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| Distinct | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| Div | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| divFuncName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| DKVar | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| dLits | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Doc | Text.PrettyPrint.HughesPJ.Compat |
| docBox | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| DocTable | |
| 1 (Type/Class) | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| doneLine | Language.Fixpoint.Misc |
| donePhase | Language.Fixpoint.Misc |
| doParse' | Language.Fixpoint.Parse |
| Dot | Language.Fixpoint.Utils.Files |
| dot | Language.Fixpoint.Parse |
| double | Text.PrettyPrint.HughesPJ.Compat |
| doubleQuotes | Text.PrettyPrint.HughesPJ.Compat |
| dropDeadSubsts | Language.Fixpoint.Solver.Sanitize |
| dropLikelyIrrelevantBindings | Language.Fixpoint.Solver.EnvironmentReduction |
| dropPrefixOfSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| dropSym | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| dummyBind | Language.Fixpoint.Horn.Types |
| dummyLoc | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| dummyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| dummyPos | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| dummySpan | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| dummySymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| dumpPartitions | Language.Fixpoint.Graph.Partition, Language.Fixpoint.Graph |
| duplicates | Language.Fixpoint.Misc |