deduce | Test.Speculate.Reason |
defaultKeep | Test.Speculate.Reason |
defNames | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
delay | Test.Speculate |
delete | Test.Speculate.Reason |
deleteT | Test.Speculate |
depthE | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
deriveListable | Test.Speculate |
deriveListableCascading | Test.Speculate |
difference | Test.Speculate.Reason |
discardRedundantEquations | Test.Speculate.Reason |
distinctFromSchemas | Test.Speculate.Engine |
distributive | Test.Speculate |
double | Test.Speculate |
dwoBy | Test.Speculate.Reason.Order, Test.Speculate.Reason |