| magnitude | What4.Utils.Complex |
| magnitudeSq | What4.Utils.Complex |
| mapKeysMonotonic | What4.Utils.LeqMap |
| mapMaybe | What4.Utils.AnnotatedMap |
| MapOverArrays | What4.Expr.Builder, What4.Expr |
| mapRange | What4.Utils.AbstractDomains |
| matlabSolverArgTypes | What4.Expr.MATLAB |
| MatlabSolverFn | What4.Expr.MATLAB |
| MatlabSolverFnInfo | What4.Expr.Builder, What4.Expr |
| matlabSolverReturnType | What4.Expr.MATLAB |
| MatlabSymbolicArrayBuilder | What4.Expr.MATLAB |
| maxNat | What4.BaseTypes, What4.Interface |
| maxSigned | What4.BaseTypes, What4.Interface |
| maxSignedBV | What4.Interface |
| maxUnsigned | What4.BaseTypes, What4.Interface |
| maxUnsignedBV | What4.Interface |
| maxValueBound | What4.Utils.AbstractDomains |
| maybePartExpr | What4.Partial |
| member | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain.Bitwise |
| 3 (Function) | What4.Utils.BVDomain.XOR |
| 4 (Function) | What4.Utils.BVDomain |
| mergeA | What4.Utils.AnnotatedMap |
| mergeM | What4.Expr.ArrayUpdateMap |
| mergePartial | What4.Partial |
| mergePartials | What4.Partial |
| mergeWithKey | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Utils.LeqMap |
| mergeWithKeyM | What4.Utils.AnnotatedMap |
| minSigned | What4.BaseTypes, What4.Interface |
| minSignedBV | What4.Interface |
| minUnsigned | What4.BaseTypes, What4.Interface |
| minUnsignedBV | What4.Interface |
| minusPlusCancel | What4.BaseTypes, What4.Interface |
| minValueBound | What4.Utils.AbstractDomains |
| minViewWithKey | What4.Utils.LeqMap |
| mkAtomicFormula | What4.Protocol.SMTWriter |
| mkBaseExpr | What4.Protocol.SMTWriter |
| mkComplex | What4.Interface |
| mkComplexLit | What4.Interface |
| mkFormula | What4.Protocol.SMTWriter |
| mkFreeVar | What4.Protocol.SMTWriter |
| mkIncrHash | What4.Utils.IncrHash |
| mkMatlabSolverFn | What4.Expr.MATLAB |
| mkNatRepr | What4.BaseTypes, What4.Interface |
| mkOpt | What4.Config |
| mkPE | What4.Partial |
| mkProgramLoc | What4.ProgramLoc |
| mkRational | What4.Interface |
| mkReal | What4.Interface |
| mkSMTTerm | What4.Protocol.SMTWriter |
| mkStruct | What4.Interface |
| mod | What4.Protocol.SMTLib2.Syntax |
| ModelResponse | What4.Protocol.SMTLib2.Parse |
| MonadST | What4.Utils.MonadST |
| mul | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SemiRing |
| 3 (Function) | What4.Utils.BVDomain.Arith |
| 4 (Function) | What4.Utils.BVDomain |
| mul2Plus | What4.BaseTypes, What4.Interface |
| mulCancelR | What4.BaseTypes, What4.Interface |
| mulComm | What4.BaseTypes, What4.Interface |
| mulRange | What4.Utils.AbstractDomains |
| mulSignedOF | What4.Interface |
| MultiRange | What4.Utils.AbstractDomains, What4.Interface |
| mulUnsignedOF | What4.Interface |
| mux | What4.Expr.UnaryBV |
| muxRange | What4.Interface |
| muxWordMap | What4.WordMap |