Index - M
| ManyCPs | Twee |
| map | Twee.Index |
| mapFun | Twee.Term, Twee.Base |
| mapFunList | Twee.Term, Twee.Base |
| Match | |
| 1 (Type/Class) | Twee.Index |
| 2 (Data Constructor) | Twee.Index |
| match | Twee.Term, Twee.Base |
| matches | Twee.Index |
| matchesList | Twee.Index |
| matchesList_ | Twee.Index |
| matchList | Twee.Term, Twee.Base |
| matchResult | Twee.Index |
| matchSubst | Twee.Index |
| Max | |
| 1 (Type/Class) | Twee.Utils |
| 2 (Data Constructor) | Twee.Utils |
| maxCancellationSize | Twee |
| maxRating | Twee.Indexes |
| maxSize | Twee |
| maybeBraces | Twee.Pretty, Twee.Base |
| maybeBrackets | Twee.Pretty, Twee.Base |
| maybeDoubleQuotes | Twee.Pretty, Twee.Base |
| maybeParens | Twee.Pretty, Twee.Base |
| maybeQuotes | Twee.Pretty, Twee.Base |
| members | Twee.Queue |
| Min | |
| 1 (Type/Class) | Twee.Utils |
| 2 (Data Constructor) | Twee.Utils |
| Minimal | |
| 1 (Type/Class) | Twee.Constraints, Twee.Base |
| 2 (Data Constructor) | Twee.Base |
| minimal | Twee.Constraints, Twee.Base |
| minimalTerm | Twee.Base |
| minimumCPSetSize | Twee |
| minimumIn | Twee.KBO |
| Mix | |
| 1 (Type/Class) | Twee.Queue |
| 2 (Data Constructor) | Twee.Queue |
| mkCache | Twee.Label |
| MkFun | Twee.Term.Core, Twee.Term, Twee.Base |
| MkVar | Twee.Term.Core, Twee.Term, Twee.Base |
| Mode | Twee.Pretty, Twee.Base |
| mode | Twee.Pretty, Twee.Base |
| Model | |
| 1 (Type/Class) | Twee.Constraints |
| 2 (Data Constructor) | Twee.Constraints |
| model | Twee |
| modelFromOrder | Twee.Constraints |
| Modelled | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| modelled | Twee |
| modelToLiterals | Twee.Constraints |
| moreTracing | Twee |
| moveLabel | Twee.Queue |