mapFrees | Term.LTerm, Term.Substitution, Term.Unification |
mapRange | Term.Substitution, Term.Unification |
mapRangeVFresh | Term.Substitution, Term.Unification |
Match | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
matchLVar | Term.Unification |
matchOnlyIf | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
matchViaMaude | Term.Maude.Process |
matchWith | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
MaudeConst | Term.Maude.Types |
MaudeHandle | |
1 (Type/Class) | Term.Maude.Process, Term.Unification |
2 (Data Constructor) | Term.Maude.Process |
MaudeLit | Term.Maude.Types |
MaudeSig | Term.Maude.Signature, Term.Unification |
MaudeVar | Term.Maude.Types |
maybeNotNfSubterms | Term.Rewriting.Norm |
mhFilePath | Term.Maude.Process, Term.Unification |
mhMaudeSig | Term.Maude.Process, Term.Unification |
mhProc | Term.Maude.Process |
minimalMaudeSig | Term.Maude.Signature, Term.Unification |
Monotone | Term.LTerm, Term.Substitution, Term.Unification |
MonotoneFunction | Term.LTerm, Term.Substitution, Term.Unification |
msetFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
msetMaudeSig | Term.Maude.Signature, Term.Unification |
msetRules | Term.Builtin.Rules |
MSubst | Term.Maude.Types |
msubstToLSubstVFree | Term.Maude.Types |
msubstToLSubstVFresh | Term.Maude.Types |
MTerm | Term.Maude.Types |
mTermToLNTerm | Term.Maude.Types |
Mult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
mult | Term.UnitTests |