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 |
dom | Term.Substitution, Term.Unification |
domVFresh | Term.Substitution, Term.Unification |