Index - M
| memberLitSet | PureSAT.LitSet |
| memberSparseHeap | PureSAT.SparseMaxHeap |
| memberSparseSet | PureSAT.SparseSet |
| minViewLitSet | PureSAT.LitSet |
| minViewVarSet | PureSAT.VarSet |
| MkClause2 | PureSAT.Clause2 |
| MkLit | PureSAT.LitVar, PureSAT.Main |
| MkVar | PureSAT.LitVar |
| modelValue | PureSAT.Main |
| modifyWeightSparseHeap | PureSAT.SparseMaxHeap |
| MutableArray | PureSAT.Prim |
| MutableByteArray | PureSAT.Prim |
| MutablePrimArray | |
| 1 (Data Constructor) | PureSAT.Prim |
| 2 (Type/Class) | PureSAT.Prim |