Index - D
| d | Framework.Lambda.Convenience, Framework.Lambda |
| DCon | Framework.Lambda.Convenience, Framework.Lambda |
| dCon | Framework.Lambda.Terms, Framework.Lambda |
| DeltaRule | Framework.Lambda.Terms, Framework.Lambda |
| Disj | Framework.Lambda.Convenience, Framework.Lambda |
| disjunctions | Framework.Lambda.Delta, Framework.Lambda |
| Distr | Framework.Target.Stan, Framework.Target |
| DTall | Framework.Lambda.Convenience, Framework.Lambda |