Index - M
| Ma | |
| 1 (Data Constructor) | IR |
| 2 (Data Constructor) | C |
| Madd | Asm.Aarch64 |
| Malloc | Asm.M, Asm.X86 |
| Map | A |
| mapF2 | |
| 1 (Function) | Asm.X86 |
| 2 (Function) | Asm.Aarch64 |
| mapFR | |
| 1 (Function) | Asm.X86 |
| 2 (Function) | Asm.Aarch64 |
| mapR | |
| 1 (Function) | Asm.X86 |
| 2 (Function) | Asm.Aarch64 |
| match | Ty |
| math' | Sys.DL |
| Max | A |
| maxLens | R, R.R |
| MaxS | L |
| Maxsd | Asm.X86 |
| max_ | R, R.R |
| MaΠ | C |
| MB | C |
| MCtx | Sys.DL |
| mem' | Sys.DL |
| mf | Asm.Ar |
| mFree | Asm.M |
| mI | Asm.Ar |
| Min | A |
| MinS | L |
| Minsd | Asm.X86 |
| Minus | |
| 1 (Data Constructor) | A |
| 2 (Data Constructor) | L |
| MJ | IR |
| mkControlFlow | |
| 1 (Function) | IR.CF |
| 2 (Function) | Asm.X86.CF |
| 3 (Function) | Asm.Aarch64.CF |
| mkIntervals | Asm.LI |
| mkLive | Asm.L |
| mLabel | C |
| Mod | |
| 1 (Data Constructor) | A |
| 2 (Data Constructor) | L |
| mode | Asm.X86 |
| MovAI32 | Asm.X86 |
| Movapd | Asm.X86 |
| MovAR | Asm.X86 |
| MovK | Asm.Aarch64 |
| MovqAX | Asm.X86 |
| MovqRX | Asm.X86 |
| MovqXA | Asm.X86 |
| MovqXR | Asm.X86 |
| MovRA | Asm.X86 |
| MovRC | Asm.Aarch64 |
| MovRCf | Asm.Aarch64 |
| MovRI | Asm.X86 |
| MovRL | Asm.X86 |
| MovRR | |
| 1 (Data Constructor) | Asm.X86 |
| 2 (Data Constructor) | Asm.Aarch64 |
| MovZ | Asm.Aarch64 |
| MR | Ty.M |
| MrsR | Asm.Aarch64 |
| Msub | Asm.Aarch64 |
| MT | |
| 1 (Data Constructor) | IR |
| 2 (Data Constructor) | C |
| Mul | A |
| MulRR | Asm.Aarch64 |
| Mulsd | Asm.X86 |
| Mvn | Asm.Aarch64 |
| MX | |
| 1 (Data Constructor) | IR |
| 2 (Data Constructor) | C |
| MX2 | C |