Index - D
| DelayedMatches | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| dhFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| dhMaudeSig | Term.Maude.Signature, Term.Unification |
| dhReducibleFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| dhRules | Term.Builtin.Rules |
| DiffBoth | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| DiffLeft | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| DiffNone | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| DiffRight | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| diffSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| diffSymString | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| DiffType | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| dom | Term.Substitution, Term.Unification |
| domVFresh | Term.Substitution, Term.Unification |