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 |