Index - M
| main | Term.UnitTests |
| 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 |
| matchLNTerm | Term.Unification |
| matchLTerm | Term.Unification |
| matchPattern | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| matchTerm | 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 |