Index - M
| magic | Data.SBV.Examples.Puzzles.MagicSquare |
| Memory | Data.SBV.Examples.BitPrecise.Legato |
| memory | Data.SBV.Examples.BitPrecise.Legato |
| Mergeable | Data.SBV |
| mergeArrays | Data.SBV |
| mkTestSuite | Data.SBV.Internals |
| Model | Data.SBV.Examples.BitPrecise.Legato |
| Mostek | |
| 1 (Type/Class) | Data.SBV.Examples.BitPrecise.Legato |
| 2 (Data Constructor) | Data.SBV.Examples.BitPrecise.Legato |
| Move | Data.SBV.Examples.Puzzles.U2Bridge |
| move1 | Data.SBV.Examples.Puzzles.U2Bridge |
| move2 | Data.SBV.Examples.Puzzles.U2Bridge |
| msb | Data.SBV |
| multAssoc | Data.SBV.Examples.Polynomials.Polynomials |
| multComm | Data.SBV.Examples.Polynomials.Polynomials |
| multUnit | Data.SBV.Examples.Polynomials.Polynomials |