Index - M
| mapNodes | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| maxIndegree | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| maybeFunctions | Application.TermSearch.TermSearch |
| maybeReps | Application.TermSearch.TermSearch |
| maybeType | Application.TermSearch.Utils |
| memo | Data.Memoization |
| memo2 | Data.Memoization |
| MemoCacheTag | Data.Memoization |
| memoIO | Data.Memoization |
| mergeNodeIntoUVarVal | Data.ECTA.Internal.ECTA.Enumeration |
| missCount | Data.Memoization.Metrics |
| mkDatatype | Application.TermSearch.Utils |
| mkEdge | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| mkEqConstraints | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| mkGroups | Application.TermSearch.Utils |
| MkInternedMu | Data.ECTA.Internal.ECTA.Type |
| MkInternedNode | Data.ECTA.Internal.ECTA.Type |
| mkVar | Application.SAT |
| Mode | Application.TermSearch.Type |
| modifyAtPath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| modifyNode | Data.ECTA.Internal.ECTA.Type |
| Mu | Data.ECTA.Internal.ECTA.Type |