| MachineFloat | Language.Fortran.Model.Repr.Prim |
| MachineInt | Language.Fortran.Model.Repr.Prim |
| MakePrim | |
| 1 (Type/Class) | Language.Fortran.Model.Types.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Types.Match |
| makePrim | Language.Fortran.Model.Types.Match |
| makeSymRepr | Language.Fortran.Model.Repr.Prim |
| MalformedExpression | Camfort.Specification.Hoare.Parser.Types |
| MalformedTypeSpec | Camfort.Specification.Hoare.Parser.Types |
| mapAnalysisT | Camfort.Analysis |
| mapLoggerT | Camfort.Analysis.Logger |
| mapSome | Camfort.Helpers.TypeLevel |
| MatchCompareR | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchCompareR | Language.Fortran.Model.Op.Core.Match |
| matchingWith2 | Language.Fortran.Model.Util |
| matchingWithBoth | Language.Fortran.Model.Util |
| MatchNumR | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchNumR | Language.Fortran.Model.Op.Core.Match |
| MatchNumType | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchNumType | Language.Fortran.Model.Op.Core.Match |
| MatchOpSpec | |
| 1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
| matchOpSpec | Language.Fortran.Model.Op.Core.Match |
| MatchPrim | |
| 1 (Type/Class) | Language.Fortran.Model.Types.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Types.Match |
| matchPrim | Language.Fortran.Model.Types.Match |
| MatchPrimD | |
| 1 (Type/Class) | Language.Fortran.Model.Types.Match |
| 2 (Data Constructor) | Language.Fortran.Model.Types.Match |
| matchPrimD | Language.Fortran.Model.Types.Match |
| maxConstrIndex | Camfort.Specification.Units.Environment |
| maxima | Camfort.Specification.Stencils.PartialOrd |
| maximas | Camfort.Specification.Stencils.Model |
| maybeSetUnitConstraintF2 | Camfort.Specification.Units.Annotation |
| maybeSetUnitInfo | Camfort.Specification.Units.Annotation |
| maybeSetUnitInfoF2 | Camfort.Specification.Units.Annotation |
| MetaExpr | Camfort.Specification.Hoare.Translate |
| MetaFormula | Camfort.Specification.Hoare.Translate |
| MetaOp | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MFCompiler | Camfort.Analysis.ModFile |
| minima | Camfort.Specification.Stencils.PartialOrd |
| mkCharConstr | Camfort.Specification.Units.Environment |
| mkCharType | Camfort.Specification.Units.Environment |
| mkConstr | Camfort.Specification.Units.Environment |
| mkDataType | Camfort.Specification.Units.Environment |
| mkFloatType | Camfort.Specification.Units.Environment |
| mkFunTy | Camfort.Specification.Units.Environment |
| mkIntegralConstr | Camfort.Specification.Units.Environment |
| mkIntType | Camfort.Specification.Units.Environment |
| mkNoRepType | Camfort.Specification.Units.Environment |
| mkOutputText | Camfort.Output |
| mkParser | Camfort.Specification.Parser |
| mkRealConstr | Camfort.Specification.Units.Environment |
| mkStencilAnnotation | Camfort.Specification.Stencils.Annotation |
| mkUnitAnnotation | Camfort.Specification.Units.Annotation |
| modifyBaseAnnotation | Camfort.Specification.Stencils.Annotation |
| modifyCallIdRemap | Camfort.Specification.Units.Monad |
| modifyCallIdRemapM | Camfort.Specification.Units.Monad |
| modifyConstraints | Camfort.Specification.Units.Monad |
| modifyGivenVarSet | Camfort.Specification.Units.Monad |
| modifyNameParamMap | Camfort.Specification.Units.Monad |
| modifyProgramFile | Camfort.Specification.Units.Monad |
| modifyProgramFileM | Camfort.Specification.Units.Monad |
| modifyTemplateMap | Camfort.Specification.Units.Monad |
| modifyUnitAliasMap | Camfort.Specification.Units.Monad |
| modifyVarUnitMap | Camfort.Specification.Units.Monad |
| MonadAnalysis | Camfort.Analysis |
| MonadEvalFortran | Language.Fortran.Model.Op.Eval, Language.Fortran.Model.Op.Core.Eval |
| MonadLogger | Camfort.Analysis.Logger, Camfort.Analysis |
| MopCoercePrim | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MopWriteArr | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MopWriteData | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
| MsgDebug | Camfort.Analysis.Logger |
| MsgError | Camfort.Analysis.Logger |
| MsgInfo | Camfort.Analysis.Logger |
| MsgWarn | Camfort.Analysis.Logger |
| Mult | Camfort.Specification.Stencils.Model |
| Multiplicity | Camfort.Specification.Stencils.Model |