Index - M
| M | Jukebox.Clausify |
| makeCopyable | Jukebox.Clausify |
| makeFunction | Jukebox.Monotonox.ToFOF |
| makeOr | Jukebox.Clausify |
| mangleAnswer | Jukebox.Provers.E |
| manyFlags | Jukebox.Options |
| Map | Jukebox.Map |
| mapM | Jukebox.Seq |
| mapM_ | Jukebox.Seq |
| mapType | Jukebox.Form |
| maxIndex | Jukebox.Name |
| member | |
| 1 (Function) | Jukebox.Map |
| 2 (Function) | Jukebox.NameMap |
| memory | Jukebox.Provers.E |
| merge | Jukebox.Utils |
| miniscope | Jukebox.Clausify |
| Mistake | Jukebox.Options |
| MkState | Jukebox.TPTP.ClauseParser |
| model | |
| 1 (Function) | Jukebox.SatEq |
| 2 (Function) | Jukebox.HighSat |
| modelRep | Jukebox.SatEq |
| modelValue | |
| 1 (Function) | Jukebox.Sat |
| 2 (Function) | Jukebox.HighSat |
| modelValue3 | Jukebox.Sat3 |
| monotone | Jukebox.Monotonox.Monotonicity |
| monotonicity | Jukebox.Toolbox |
| monotonicityBox | Jukebox.Toolbox |