| DataType | CSPM.DataStructures.Syntax, CSPM |
| DataTypeClause | |
| 1 (Type/Class) | CSPM.DataStructures.Syntax, CSPM |
| 2 (Data Constructor) | CSPM.DataStructures.Syntax, CSPM |
| dataTypeClauseName | CSPM.DataStructures.Syntax, CSPM |
| dataTypeClauseTypeExpression | CSPM.DataStructures.Syntax, CSPM |
| dataTypesAndChannels | CSPM.TypeChecker.Monad |
| DeadlockFreedom | CSPM.DataStructures.Syntax, CSPM |
| Decl | CSPM.DataStructures.Syntax, CSPM |
| delete | CSPM.TypeChecker.Environment |
| Dependencies | CSPM.TypeChecker.Dependencies |
| dependencies | CSPM.TypeChecker.Dependencies |
| dependenciesOfExp | |
| 1 (Function) | CSPM.TypeChecker |
| 2 (Function) | CSPM |
| deprecatedNameUsed | CSPM.TypeChecker.Exceptions |
| deprecatedReplacement | CSPM.Prelude |
| deprecationReplacement | CSPM.TypeChecker.Environment |
| desugar | CSPM.Desugar |
| Desugarable | CSPM.Desugar |
| desugarExpression | CSPM |
| desugarFile | CSPM |
| desugarInteractiveStmt | CSPM |
| desugarWithType | CSPM.Desugar |
| Deterministic | CSPM.DataStructures.Syntax, CSPM |
| Diamond | CSPM.Compiler.Processes, CSPM.Evaluator.Values, CSPM |
| difference | |
| 1 (Function) | CSPM.Compiler.Set |
| 2 (Function) | CSPM.Evaluator.ValueSet |
| disallowSymmetricUnification | CSPM.TypeChecker.Monad |
| Divide | CSPM.DataStructures.Syntax, CSPM |
| Doc | Util.PrettyPrint |
| domain | CSPM.Compiler.Map |
| DotApp | CSPM.DataStructures.Syntax, CSPM |
| dotAppLeftArgument | CSPM.DataStructures.Syntax, CSPM |
| dotAppRighArgument | CSPM.DataStructures.Syntax, CSPM |
| dotSep | Util.PrettyPrint |
| double | Util.PrettyPrint |
| doubleQuotes | Util.PrettyPrint |
| dummyAnnotation | Util.Annotated |