Index - M
| MalformedRule | Termlib.Problem.ParseErrors |
| MalformedTerm | Termlib.Problem.ParseErrors |
| map | Termlib.Substitution |
| mapRules | |
| 1 (Function) | Termlib.Trs, Termlib.Repl |
| 2 (Function) | Termlib.Problem |
| mapTerms | Termlib.Trs |
| Match | Termlib.TermGraph |
| match | |
| 1 (Function) | Termlib.Substitution |
| 2 (Function) | Termlib.TermGraph |
| matches | |
| 1 (Function) | Termlib.Substitution, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| maybeFresh | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Variable |
| 3 (Function) | Termlib.FunctionSymbol |
| MaybeT | |
| 1 (Type/Class) | Termlib.Utils |
| 2 (Data Constructor) | Termlib.Utils |
| measureName | Termlib.Problem |
| member | Termlib.Trs, Termlib.Repl |
| memo | Termlib.Utils |
| MemoAction | Termlib.Utils |
| mkEdge | Termlib.TermGraph |
| mkFun | Termlib.TermGraph |
| mkNode | Termlib.TermGraph |
| mkVariable | Termlib.TermGraph |
| modifyProblem | Termlib.Problem.TpdbParser |
| modifySignature | Termlib.Signature |