Index - M
| M | Language.Core.Core |
| mainMname | Language.Core.Core |
| mainPkg | Language.Core.Core |
| mainPrefix | Language.Core.Core |
| mainVar | Language.Core.Core |
| mapVdefg | Language.Core.CoreUtils |
| maxUtuple | Language.Core.Core |
| maybe_tuple | Language.Core.Encoding |
| Menv | Language.Core.Check |
| merge | Language.Core.Merge |
| mkBaseMname | Language.Core.Core |
| mkFunTy | Language.Core.Core |
| mkInitialEnv | Language.Core.Prims |
| mkNtEnv | Language.Core.Check |
| mkPrimMname | Language.Core.Core |
| mkTapp | Language.Core.Prep |
| mkTypeEnv | Language.Core.Prims |
| mkTypeEnvsNoChecking | Language.Core.Check |
| Mname | Language.Core.Core |
| Module | |
| 1 (Type/Class) | Language.Core.Core |
| 2 (Data Constructor) | Language.Core.Core |