DataType | CSPM.DataStructures.Syntax, CSPM |
DataTypeClause | |
1 (Type/Class) | CSPM.DataStructures.Syntax, CSPM |
2 (Data Constructor) | CSPM.DataStructures.Syntax, CSPM |
dataTypesAndChannels | CSPM.TypeChecker.Monad |
DeadlockFreedom | CSPM.DataStructures.Syntax, CSPM |
Decl | CSPM.DataStructures.Syntax, CSPM |
Dependencies | CSPM.TypeChecker.Dependencies |
dependencies | CSPM.TypeChecker.Dependencies |
dependenciesOfExp | |
1 (Function) | CSPM.TypeChecker |
2 (Function) | CSPM |
deprecatedNameUsed | CSPM.TypeChecker.Exceptions |
desugar | CSPM.Desugar |
Desugarable | CSPM.Desugar |
desugarWithType | CSPM.Desugar |
Deterministic | CSPM.DataStructures.Syntax, 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 |
dotSep | Util.PrettyPrint |
double | Util.PrettyPrint |
doubleQuotes | Util.PrettyPrint |
dummyAnnotation | Util.Annotated |
duplicatedDefinitionsMessage | CSPM.TypeChecker.Exceptions |