Index - M
| makeName | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| MapM | Unbound.LocallyNameless |
| MapM1 | Unbound.LocallyNameless |
| mapM_l | Unbound.LocallyNameless |
| mapQ_l | Unbound.LocallyNameless |
| map_l | Unbound.LocallyNameless |
| match | Unbound.Nominal.Internal, Unbound.Nominal |
| match' | Unbound.Nominal.Internal, Unbound.Nominal |
| match1 | Unbound.Nominal.Internal |
| matchBinders | Unbound.Nominal.Internal |
| matchD | Unbound.Nominal.Internal |
| matchEmbeds | Unbound.Nominal.Internal |
| matchR1 | Unbound.Nominal.Internal, Unbound.Nominal |
| maxBoundR1 | Unbound.LocallyNameless |
| MEx | Unbound.LocallyNameless |
| minBoundR1 | Unbound.LocallyNameless |
| mkbig | Unbound.Nominal.Internal |
| mkM | Unbound.LocallyNameless |
| mkMp | Unbound.LocallyNameless |
| mkPerm | Unbound.PermM, Unbound.LocallyNameless |
| mkQ | Unbound.LocallyNameless |
| mkR | Unbound.LocallyNameless |
| mkT | Unbound.LocallyNameless |
| MNil | Unbound.LocallyNameless |
| Mode | Unbound.LocallyNameless.Alpha |
| mode | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| MTup | Unbound.LocallyNameless |
| Multiset | |
| 1 (Type/Class) | Unbound.Util, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.Util, Unbound.LocallyNameless |