Index - M
| ManifestEntry | |
| 1 (Type/Class) | Conformance.Story.Binding |
| 2 (Data Constructor) | Conformance.Story.Binding |
| MarkerAbsent | Conformance.Refusal |
| matchRefusal | Conformance.Refusal |
| maximumPurposeUnits | Conformance.PurposeUnits |
| maxLiveStepReasonChars | Conformance.Receipt |
| maxReceiptBytes | Conformance.Receipt |
| meDigest | Conformance.Story.Binding |
| meName | Conformance.Story.Binding |
| MintOnFirstKey | Conformance.Story.Live |
| missingPurposeBudgets | Conformance.PurposeUnits |
| mkBoundObligation | Conformance.Story.Binding |
| modelComparison | |
| 1 (Function) | Conformance.Lean.Retirement |
| 2 (Function) | Conformance.Lean.Registration |
| modelVerdict | Conformance.Lean.Oracle |