Index - M
| makeName | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, 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 |
| mkbig | Unbound.Nominal.Internal |
| mkPerm | Unbound.PermM |
| Mode | Unbound.LocallyNameless.Alpha |
| mode | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Multiset | |
| 1 (Type/Class) | Unbound.Util, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.Util, Unbound.LocallyNameless |